Search Results for author:
Found 1 papers, 0 papers with code
TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models
Automated theorem proving can benefit a lot from methods employed in natural language processing, knowledge graphs and information retrieval: this non-trivial task combines formal languages understanding, reasoning, similarity search.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
