IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Paper
• 2509.26076 • Published
Baran Hashemi
Baran47
·
AI & ML interests
AI for Mathematics
Recent Activity
authored
a paper
23 days ago
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation authored
a paper
23 days ago
Flow-based Extremal Mathematical Structure Discovery submitted
a paper
26 days ago
Flow-based Extremal Mathematical Structure Discovery Organizations
None yet
authored 2 papers 23 days ago
submitted a paper to Daily Papers 26 days ago