@misc{indiciae704faeb5643d,
  title = {GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving},
  author = {Ruida Wang and Jiarui Yao and Rui Pan and Shizhe Diao and Tong Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2510.11769},
  note = {Source identifier: 2510.11769}
}