conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
A Logical Analysis of Hanabi AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025
LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025
Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers ACL 2025
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025
Neuro-Symbolic Query Compiler ACL 2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025
From Feedback to Checklists: Grounded Evaluation of AI-Generated Clinical Notes EMNLP 2025
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025
Featured Argumentation Framework: Semantics and Complexity IJCAI 2025
Initial Models and Serialisability in Abstract Dialectical Frameworks IJCAI 2025
First-Order Coalition Logic IJCAI 2025
A Sequent Calculus for Answer Set Entailment IJCAI 2025