premise selection

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 NeurIPS 2024 Magnushammer: A Transformer-Based Approach to Premise Selection ICLR 2024 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NeurIPS 2023 IJS at TextGraphs-16 Natural Language Premise Selection Task: Will Contextual Information Improve Natural Language Premise Selection? COLING 2022 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022 SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet COLING 2022 TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models COLING 2022 TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NeurIPS 2022 STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises EACL 2021 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Premise Selection in Natural Language Mathematical Texts ACL 2020 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017 DeepMath - Deep Sequence Models for Premise Selection NeurIPS 2016