INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic 事件

INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic arXiv:2602.18956v3 Announce Type: replace Abstract: We introduce INDUCTION, a benchmark for finite structure concept synthesis in first order logic. Given small finite relational worlds with extensionally labeled target predicates, models must output a single first order logical formula that explains the target uniformly across worlds, with correctness verified via exact model checking. The benchmark includes three regimes, Full