@misc{indiciae944c46bcf9f2,
  title = {Faithful Autoformalization of Natural Language Assertions},
  author = {Hongyi Liu and Madhusudan Parthasarathy and Adithya Murali},
  year = {2026},
  url = {https://arxiv.org/abs/2607.13303},
  note = {Source identifier: 2607.13303}
}