arxiv:2601.18005
Baran Hashemi
Baran47
·
AI & ML interests
AI for Mathematics
Recent Activity
authored
a paper
7 days ago
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
authored
a paper
7 days ago
Flow-based Extremal Mathematical Structure Discovery
submitted
a paper
10 days ago
Flow-based Extremal Mathematical Structure Discovery
Organizations
None yet
models
0
None public yet
datasets
0
None public yet