Baran Hashemi
Baran47
ยท
AI & ML interests
AI for Mathematics
Recent Activity
authored
a paper
24 days ago
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation authored
a paper
24 days ago
Flow-based Extremal Mathematical Structure Discovery submitted
a paper
27 days ago
Flow-based Extremal Mathematical Structure Discovery Organizations
None yet