conftrace_

formal methods

83 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (13) temporal logic (8) model checking (8) linear temporal logic (8) knowledge representation (8) large language model (7) automated reasoning (6) neural network verification (6) controller synthesis (5) reinforcement learning (5)

Papers

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026 Specification-Guided Reinforcement Learning AAAI 2026 Actual Causation and Nondeterministic Causal Models CLeaR 2025 A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025 A Theory of Formalisms for Representing Knowledge AAAI 2025 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025 Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025 Learning Temporal Logic Predicates from Data with Statistical Guarantees L4DC 2025 MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025 Neuro-Symbolic Natural Language Processing EMNLP 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods ICML 2025 Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025 Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Unique Hard Attention: A Tale of Two Sides ACL 2025 VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 Assume-Guarantee Reinforcement Learning AAAI 2024 Backward Responsibility in Transition Systems Using General Power Indices AAAI 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024