Solving Inequality Proofs with Large Language Models
Paper
•
2506.07927
•
Published
•
20
math
-
-
Mathesis: Towards Formal Theorem Proving from Natural Languages
Paper • 2506.07047 • Published • 5 -
Pre-trained Large Language Models Learn Hidden Markov Models In-context
Paper • 2506.07298 • Published • 26 -
Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
Paper • 2507.00432 • Published • 76