Search Results for author: Rahul Saha

Found 2 papers, 2 papers with code

Date Published Github Stars

LLMSTEP: LLM proofstep suggestions in Lean

1 code implementation • 27 Oct 2023 • Sean Welleck, Rahul Saha

LLMSTEP is a Lean 4 tactic that sends a user's proof state to a server hosting a language model.

Language Modelling

93
Paper
Code

A New Approach Towards Autoformalization

1 code implementation • 12 Oct 2023 • Nilay Patel, Rahul Saha, Jeffrey Flanigan

This is a challenging task, and especially for higher-level mathematics found in research papers.

Entity Linking Mathematical Proofs

5
Paper
Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy