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