theorem prover

HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning SemEval 2026 Assessing the Sensitivity and Alignment of FOL Closeness Metrics EMNLP 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving ICML 2025 Theorem Prover as a Judge for Synthetic Data Generation ACL 2025 Proving Theorems Recursively NeurIPS 2024 Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Learning to Prove Theorems by Learning to Generate Theorems NeurIPS 2020 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 COVER: Covering the Semantically Tractable Questions EACL 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017