TY  - RPRT
TI  - GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
AU  - Ruida Wang
AU  - Jiarui Yao
AU  - Rui Pan
AU  - Shizhe Diao
AU  - Tong Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2510.11769
ID  - 2510.11769
ER  -