3 citations · 5 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 3 cited
LLMSTEP: LLM proofstep suggestions in Lean
Sean Welleck, Rahul Saha
We present LLMSTEP, a tool for integrating a language model into the Lean proof assistant. LLMSTEP is a Lean 4 tactic that sends a user's proof state to a server hosting a language…
cs.CL2023
A New Approach Towards Autoformalization
Nilay Patel, Rahul Saha, Jeffrey Flanigan
Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language math…