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