Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction
DGX agentarXiv:2608.10843v1 Announce Type: new Abstract: First-order concept synthesis asks a system to infer one formula that classifies labeled objects consistently across several finite relational structure