Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction
Serafim Batzoglou
First-order concept synthesis asks a system to infer one formula that classifies labeled objects consistently across several finite relational structures. Every candidate can be ev…
cs.AI2026
INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic
Serafim Batzoglou
We introduce INDUCTION, a benchmark for finite structure concept synthesis in first order logic. Given small finite relational worlds with extensionally labeled target predicates,…
cs.AI2026
ABD: Default Exception Abduction in Finite First Order Worlds
Serafim Batzoglou
We introduce ABD, a benchmark for default-exception abduction over finite first-order worlds. Given a background theory with an abnormality predicate and a set of relational struct…