We introduce ClosureBench, a constructive benchmark for compositional graph-relational reasoning with programmatically v...

We introduce ClosureBench, a constructive benchmark for compositional graph-relational reasoning with programmatically verified ground truth. Unlike fixed-test-set benchmarks vulnerable to data contamination, ClosureBench generates instances on demand: each task's reference answer is computed by executing a program in the Ein tensor-logic language, ensuring machine-verified correctness.Source: arXiv cs.LGhttps://arxiv.org/abs/2608.18242#MachineLearning

Read Original

Related