formal methods

LeanReasoner: Boosting Complex Logical Reasoning with Lean NAACL 2024 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 NeurIPS 2024 Pure-Past Action Masking AAAI 2024 Towards provably performant congestion control NSDI 2024 Towards Robust Saliency Maps ACML 2024 A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks ICML 2023 Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023 Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023 DeepGemini: Verifying Dependency Fairness for Deep Neural Network AAAI 2023 Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023 Formal Methods for Network Performance Analysis NSDI 2023 Interpretability and Fairness in Machine Learning: A Formal Methods Approach IJCAI 2023 Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023 Moral Responsibility for AI Systems NeurIPS 2023 Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty AAAI 2023 Shielding in Resource-Constrained Goal POMDPs AAAI 2023 STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023 A Causal Analysis of Harm NeurIPS 2022 Constraint-Driven Explanations for Black-Box ML Models AAAI 2022 Delivering Trustworthy AI through Formal XAI AAAI 2022 Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes AAAI 2022 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022