conftrace_

automated reasoning

122 papers

Explore in graph

Co-occurring keywords

large language model (13587) knowledge representation (301) formal verification (284) theorem proving (63) answer set programming (97) logic programming (50) program synthesis (233) reinforcement learning (4352) knowledge graph (1837) automated theorem proving (39)

Papers

LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023
FactKG: Fact Verification via Reasoning on Knowledge Graphs ACL 2023
Computing Abductive Explanations for Boosted Trees AISTATS 2023
Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023
kogito: A Commonsense Knowledge Inference Toolkit EACL 2023
Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023
Reasoning with Language Model Prompting: A Survey ACL 2023
Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023
The Automatic Computer Scientist AAAI 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023
Learning Program Synthesis for Integer Sequences from Scratch AAAI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices CVPR 2023
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NIPS 2023
Counting, Sampling, and Synthesis: The Quest for Scalability IJCAI 2022
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022
A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
HyperTree Proof Search for Neural Theorem Proving NIPS 2022
Cardinality Queries over DL-Lite Ontologies IJCAI 2021
SemEval-2021 Task 8: MeasEval – Extracting Counts and Measurements and their Related Contexts SEMEVAL 2021