Preprint
Aug 2026
ClosureBench: A Constructive Benchmark for Compositional Graph Reasoning
ClosureBench is introduced, a constructive benchmark for compositional graph-relational reasoning with programmatically verified ground truth with programmatically verified ground truth: each task's reference answer is computed by executing a program in the Ein tensor-logic language, ensuring machine-verified correctness.
S. Goria
· 0 citations