conftrace_

propositional logic

55 papers

Explore in graph

Also known as

PL

Co-occurring keywords

logical reasoning (310) knowledge compilation (40) knowledge representation (301) model counting (46) knowledge base (804) tsetlin machine (8) large language model (13587) automated reasoning (122) propositional formula (10) inconsistency measurement (5)

Papers

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