Cite
Notes
Only stored in your browser.
Attribution
The GAN is dead; long live the GAN! A Modern GAN Baseline
arXiv 2025
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
arXiv 2023
from 2 papers
Aaron Gokaslan
Cheng Qin
Chenyang Mao
Dengfeng Yue
Fangzhen Zhu
James Tompkin
Jia Zou
Na Zhu
Qike Huang
Runan Wang