conftrace_

formal methods

79 papers

Explore in graph

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) knowledge representation (301) temporal logic (105) automated reasoning (122) large language model (13587) neural network verification (106) controller synthesis (21) reinforcement learning (4352)

Papers

Specification-Guided Reinforcement Learning AAAI 2026
Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025
Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025
Unique Hard Attention: A Tale of Two Sides ACL 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025
MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
On Temporal Verification of Stateful P4 Programs NSDI 2025
A Theory of Formalisms for Representing Knowledge AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
Neuro-Symbolic Natural Language Processing EMNLP 2025
Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024
Pure-Past Action Masking AAAI 2024
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024
Backward Responsibility in Transition Systems Using General Power Indices AAAI 2024
Assume-Guarantee Reinforcement Learning AAAI 2024