conftrace_

premise selection

16 papers

Explore in graph

Co-occurring keywords

automated theorem proving (39) semantic similarity (910) theorem proving (63) large language model (13587) neural network (6616) proof assistant (14) mathematical text (6) multi-hop reasoning (423) natural language processing (2034) link prediction (624)

Papers

Teaching Small Language Models to Learn Logic through Meta-Learning EACL 2026
LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025
Multi-Agent LLM Debate Unveils the Premise Left Unsaid ACL 2025
Learning Structure-Aware Representations of Dependent Types NIPS 2024
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NIPS 2023
SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet COLING 2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NIPS 2022
TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models COLING 2022
Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022
TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022
IJS at TextGraphs-16 Natural Language Premise Selection Task: Will Contextual Information Improve Natural Language Premise Selection? COLING 2022
STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises EACL 2021
Premise Selection in Natural Language Mathematical Texts ACL 2020
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020
Premise Selection for Theorem Proving by Deep Graph Embedding NIPS 2017
DeepMath - Deep Sequence Models for Premise Selection NIPS 2016