INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic
• INDUCTION benchmark tests finite-structure concept synthesis in first‑order logic across small relational worlds. • Models output a single logical formula that uniformly explains
Conceptsynthesis