@misc{indiciae5c5dbd949ff4,
  title = {Synthesizing Proofs Using Proof Sharding and Exploration},
  author = {Seyed Armin Vakil Ghahani and Manos Kapritsos},
  year = {2026},
  url = {https://arxiv.org/abs/2609.28535},
  note = {Source identifier: 2609.28535}
}