Showing cs.AIShow all
2 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
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…