Formal Methods

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024 Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes IJCAI 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Model Checking Causality IJCAI 2024 Multi-language Diversity Benefits Autoformalization NeurIPS 2024 Neural Closure Certificates AAAI 2024 Neural Model Checking NeurIPS 2024 Neuro-Symbolic Temporal Point Processes ICML 2024 Non-flat ABA Is an Instance of Bipolar Argumentation AAAI 2024 Omega-Regular Decision Processes AAAI 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024 On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning ACL 2024 Pragmatic Norms Are All You Need – Why The Symbol Grounding Problem Does Not Apply to LLMs EMNLP 2024 Primal Grammars Driven Automated Induction IJCAI 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 Pure-Past Action Masking AAAI 2024 Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024 Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024 Redefining ABA+ Semantics via Abstract Set-to-Set Attacks AAAI 2024 Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors ICLR 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024