Author:Tanel Tammet

Publications
Representation Abstraction and Proof Search for English-to-Logic Question Answering Tanel Tammet In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper) Tanel Tammet In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

autoformalization, automated theorem proving², commonsense reasoning, defeasible reasoning, English-to-logic translation, knowledge representation, large language models, natural language, Portfolio of Strategies, Question Answering, reuse, Saturation-based proving.