Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Paper
•
2505.04528
•
Published
•
12
Qi Liu
purewhite42
AI & ML interests
Machine Learning, Theorem Proving
Recent Activity
liked
a dataset
about 1 month ago
Jiahao004/DeepTheorem
upvoted
a
paper
about 1 month ago
Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain
Perspective
upvoted
a
paper
about 2 months ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
Organizations
authored
a
paper
3 months ago