@misc{indiciae33580c295cec,
  title = {Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction},
  author = {Serafim Batzoglou},
  year = {2026},
  url = {https://arxiv.org/abs/2608.10843},
  note = {Source identifier: 2608.10843}
}