Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Paper
•
2505.04528
•
Published
•
12
Qi Liu (SJTU & SII)
purewhite42
AI & ML interests
Machine Learning, Formal Mathematics
CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)
Recent Activity
upvoted
a
paper
15 days ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
upvoted
a
paper
15 days ago
Kling-Omni Technical Report
updated
a dataset
2 months ago
purewhite42/CoPA_Dataset
Organizations
authored
a
paper
8 months ago