@misc{indiciae53e44f5c2af0,
  title = {LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs},
  author = {Chenjun Guo and Manooshree Patel and Arnav Mehta and Krishiv Kothari and Thomas Lu and Niels Voss and Rayna Bhattacharyya and Peter Donovan and Bjoern Hartmann and Gireeja Ranade},
  year = {2026},
  url = {https://arxiv.org/abs/2610.00760},
  note = {Source identifier: 2610.00760}
}