Automated Reasoning

Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023 Guiding Safe Exploration with Weakest Preconditions ICLR 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 Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022 miniF2F: a cross-system benchmark for formal Olympiad-level mathematics ICLR 2022 Proof Artifact Co-Training for Theorem Proving with Language Models ICLR 2022 BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration ICLR 2021 Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021 IsarStep: a Benchmark for High-level Mathematical Reasoning ICLR 2021 Teaching Temporal Logics to Neural Networks ICLR 2021 A Framework for Reasoning about Dynamic Axioms in Description Logics IJCAI 2020 GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020 Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference COLING 2020 Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning ICLR 2020 Reasoning About Inconsistent Formulas IJCAI 2020 SemEval-2020 Task 4: Commonsense Validation and Explanation SemEval 2020 GamePad: A Learning Environment for Theorem Proving ICLR 2019 DeepProbLog: Neural Probabilistic Logic Programming NeurIPS 2018 A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics IJCAI 2017 A Unifying Framework for Probabilistic Belief Revision IJCAI 2017 Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models IJCAI 2017 Fast Lifted MAP Inference via Partitioning NeurIPS 2015 Lifted Inference Rules With Constraints NeurIPS 2015 Lifted Symmetry Detection and Breaking for MAP Inference NeurIPS 2015