propositional logic

Fine-Tuning Sample Order Matters in Propositional Logical Question-Answering (Student Abstract) AAAI 2026 LogicCBMs: Logic-Enhanced Concept-Based Learning WACV 2026 A Game-Theoretic Perspective on Inconsistency Handling IJCAI 2025 A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals IJCAI 2025 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities ACL 2025 Generalized Convergence Analysis of Tsetlin Automaton Based Algorithms: A Probabilistic Approach to Concept Learning AAAI 2025 Logical Consistency of Large Language Models in Fact-Checking ICLR 2025 Logical forms complement probability in understanding language model (and human) performance ACL 2025 Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models NAACL 2025 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 RMath: A Logic Reasoning-Focused Datasets Toward Mathematical Multistep Reasoning Tasks AAAI 2025 Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning NAACL 2025 An Approximate Skolem Function Counter AAAI 2024 Can Language Models Learn Embeddings of Propositional Logic Assertions? COLING 2024 Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning ACL 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024 LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models ACL 2024 Quantitative Claim-Centric Reasoning in Logic-Based Argumentation IJCAI 2024 Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023 Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023 Fast Converging Anytime Model Counting AAAI 2023 Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation ACL 2023 Learning Reliable Logical Rules with SATNet NeurIPS 2023