conftrace_

automated reasoning

127 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (19) formal verification (17) knowledge representation (16) theorem proving (15) answer set programming (10) logic programming (8) program synthesis (8) reinforcement learning (8) knowledge graph (7) automated theorem proving (7)

Papers

Limbo: A Reasoning System for Limited Belief IJCAI 2017 An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011