https://openreview.net/forum?id=k8KsI84Ds7&referrer=%5Bthe%20profile%20of%20Yingjia%20Wan%5D(%2Fprofile%3Fid%3D~Yingjia_Wan2)
Autoformalization, the conversion of natural language mathematics into formal languages, offers significant potential for advancing mathematical reasoning....
processdrivenautoformalizationleanopenreview
https://www.mdpi.com/2073-8994/17/1/8
Automatic geometric problem-solving is an active and challenging subfield at the intersection of AI and mathematics, where geometric problem parsing plays a...
parserautoformalizationsolutionplanegeometric
https://openreview.net/forum?id=DNunBkhEUx&referrer=%5Bthe%20profile%20of%20Maziar%20Raissi%5D(%2Fprofile%3Fid%3D~Maziar_Raissi1)
The arrival of AI systems that can achieve a gold medal at the International Mathematical Olympiad (IMO) and the development of proof assistants such as Lean...
collaborative approachagenticleanalallm