works on
agentic learning 1contextual bandits 1large language models 1memory management 1reinforcement learning 1

From the 1 of 9 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions

Boyan Duan, Xiao Liang, Shuai Lu +7

Automated theorem proving in Euclidean geometry, particularly for International Mathematical Olympiad (IMO) level problems, remains a major challenge and an important research focu…