theorem proving

61 papers

Explore in graph

Also known as

COQ

Co-occurring keywords

large language model (12755) formal verification (277) mathematical reasoning (355) automated reasoning (122) logical reasoning (298) first-order logic (168) proof generation (18) semantic parsing (955) language model (4573) automated theorem proving (34)

Papers

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019

Multimodal Logical Inference System for Visual-Textual Entailment ACL 2019

Reinforcement Learning of Theorem Proving NIPS 2018

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning NAACL 2018

COVER: Covering the Semantically Tractable Questions EACL 2017

Premise Selection for Theorem Proving by Deep Graph Embedding NIPS 2017

KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017

LangPro: Natural Language Theorem Prover EMNLP 2017

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016

An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011