@misc{indiciae3f87e551243c,
  title = {Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification},
  author = {Balaji Rao and William Eiers and Carlo Lipizzi},
  year = {2025},
  url = {https://arxiv.org/abs/2504.17017},
  note = {Source identifier: 2504.17017}
}