Srihari Ganesh

Identifiers

• name variant Srihari Ganesh 0.60 · backfill

Papers (1)

1. AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities cs.LO · 2026 · author #5

Mentions

• 2606.26442 #5 · arxiv_oai · confidence 0.70 Srihari Ganesh

Frequent Coauthors

• Alex Schneidman 1 shared papers
• Chris Cummins 1 shared papers
• Jannis Limperg 1 shared papers
• Jimmy Xin 1 shared papers
• Karun Ram 1 shared papers