@misc{indiciae23e88b42a576,
  title = {INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic},
  author = {Serafim Batzoglou},
  year = {2026},
  url = {https://arxiv.org/abs/2602.18956},
  note = {Source identifier: 2602.18956}
}