Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hafsah Mahmood
Map detail
Hafsah Mahmood13 visible / 13 total nodes / 78 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHafsah MahmoodAHafsah MahmoodResearcherMathAtlas: A Benchmark for Autoformalization in the WildWMathAtlas: A Benchmark ...preprint / 2026Nilay PatelANilay PatelResearcherDavit BabayanADavit BabayanResearcherVictoria CochranAVictoria CochranResearcherTimothy LibmanATimothy LibmanResearcherLiam McCartyALiam McCartyResearcherSoli MunozASoli MunozResearcherLaurel WilleyALaurel WilleyResearcherNoah AriasANoah AriasResearcherJeffrey FlaniganAJeffrey FlaniganResearcherArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 works
Person12 links

Hafsah Mahmood

Researcher