🧑🔬 Rahul Saha — papers of 2023 — 2 papers, the most cited first2 papers · all years of Rahul SahaLLMSTEP: LLM proofstep suggestions in LeanarXiv:2310.18457Sean Welleck, Rahul Saha2023 · 22 citationsA New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/rahul-saha/year/2023/