1 paper · 1 filter
Leheng Chen, Zihao Liu, Wanyi He +1
Recent advances in large language models and agentic AI systems have enabled significant progress in mathematical discovery, from solving competition problems to tackling research-…