Iman Gholami

Identifiers

• name variant Iman Gholami 0.60 · backfill

Papers (1)

1. Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cs.AI · 2026 · author #2

Mentions

• 2606.31134 #2 · arxiv_oai · confidence 0.70 Iman Gholami

Frequent Coauthors

• Arshia Soltani Moakhar 1 shared papers
• Mahdi JafariRaviz 1 shared papers
• Max Springer 1 shared papers
• MohammadTaghi Hajiaghayi 1 shared papers