TY  - RPRT
TI  - Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction
AU  - Serafim Batzoglou
PY  - 2026
UR  - https://arxiv.org/abs/2608.10843
ID  - 2608.10843
ER  -