The Isabelle Community Benchmark.

Fabian Huch Vincent Bode

Published in: PAAR@IJCAR (2022)

Keyphrases

theorem prover
online communities
learning community
data sets
real world
information retrieval
image segmentation
learning environment
relational databases
community structure
community detection
learning sciences
academia and industry