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