automated reasoning

Talk like a Graph: Encoding Graphs for Large Language Models ICLR 2024 The Logic of Doxastic Strategies AAAI 2024 Time Matters: An End-to-End Solution for Temporal Claim Verification EMNLP 2024 Triad: A Framework Leveraging a Multi-Role LLM-based Agent to Solve Knowledge Base Question Answering EMNLP 2024 Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices CVPR 2023 Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023 Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023 Computing Abductive Explanations for Boosted Trees AISTATS 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023 FactKG: Fact Verification via Reasoning on Knowledge Graphs ACL 2023 kogito: A Commonsense Knowledge Inference Toolkit EACL 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 Learning Program Synthesis for Integer Sequences from Scratch AAAI 2023 Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023 Reasoning with Language Model Prompting: A Survey ACL 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 Second-Order Quantified Boolean Logic AAAI 2023 The Automatic Computer Scientist AAAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022 A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 Counting, Sampling, and Synthesis: The Quest for Scalability IJCAI 2022