Artificial Intelligence › Core AI ›

Automated Reasoning

11 directly classified papers

Papers per year

Papers

BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024

Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024

Conversational Modeling for Constraint Satisfaction AAAI 2024

Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023

THiFLY Research at SemEval-2023 Task 7: A Multi-granularity System for CTR-based Textual Entailment and Evidence Retrieval SEMEVAL 2023

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022

Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference COLING 2020

GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020

Reasoning About Inconsistent Formulas IJCAI 2020

SemEval-2020 Task 4: Commonsense Validation and Explanation SEMEVAL 2020