AI for Research - Articles
From Informal to Formal	Humanity’s Last Exam
LLMs for Mathematical Analysis	Mathematics and machine creativity
Data for Mathematical Copilots	Mathematical Reasoning in LLMs
Bridging Visual and Math Reasoning for LLMs	Can LLMs solve longer math problems
Math Reasoning Beyond Accuracy	Can LLMs Master Math?
Steering LLMs with Game-Theoretic Solvers	Demystifying Graphs of Thoughts
Mathematical Language Models: A Survey	AI for Mathematics
MathVista: Mathematical Reasoning	LLM for Science: P vs. NP
Attacking LLMs Towards Math Solving	MathChat: Tackle Math with LLMs
Mastering Board Games with LLMs	Artificial scientific discovery
AlphaSeq: Sequence Discovery	GAVEL: Generating Games Via LLMs