Search Results for author: Robert Wardenga

Found 1 papers, 0 papers with code

TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models

no code implementations COLING (TextGraphs) 2022 Liubov Kovriguina, Roman Teucher, Robert Wardenga

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.

Automated Theorem Proving Information Retrieval +7

Cannot find the paper you are looking for? You can Submit a new open access paper.