GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving - WANG, Ruida; Yao, Jiarui; Pan, Rui; Diao, Shizhe; Zhang, Tong (International Conference on Learning Representations, 2026)