Karun Ram

Identifiers

• name variant Karun Ram 0.60 · backfill

Papers (1)

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

Mentions

• 2606.26442 #4 · arxiv_oai · confidence 0.70 Karun Ram

Frequent Coauthors

• Alex Schneidman 1 shared papers
• Chris Cummins 1 shared papers
• Jannis Limperg 1 shared papers
• Jimmy Xin 1 shared papers
• Srihari Ganesh 1 shared papers