Skip to content
conftrace_

automated theorem prover

4 papers

Explore in graph

Also known as

ATP

Co-occurring keywords · papers mentioning both

declarative prompting (1) hammer method (1) zero-shot baseline (1) interactive theorem prover (1) syllogistic reasoning (1) graph neural network (1) large language model (1) neuro-symbolic method (1) loop invariant (1) premise selection (1)

Papers

UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning SemEval 2026 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NeurIPS 2022 Learning Loop Invariants for Program Verification NeurIPS 2018