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