Cover Image

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alamdari, Parand A., Klassen, Toryn Q., McIlraith, Sheila A.
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computers and Society Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pluralistic Alignment Over Time
by: Klassen, Toryn Q., et al.
Published: (2024)

Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making
by: Alamdari, Parand A., et al.
Published: (2023)

Being Considerate as a Pathway Towards Pluralistic Alignment for Agentic AI
by: Alamdari, Parand A., et al.
Published: (2024)

Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data
by: Li, Andrew C., et al.
Published: (2025)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning
by: Chen, Dillon Z., et al.
Published: (2026)

Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice
by: Horvitz, Eric, et al.
Published: (2024)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
by: Contreras, Ricardo, et al.
Published: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
by: Horner, Elias, et al.
Published: (2025)

Pushdown Reward Machines for Reinforcement Learning
by: Varricchione, Giovanni, et al.
Published: (2025)

Equitable Access to Justice: Logical LLMs Show Promise
by: Kant, Manuj, et al.
Published: (2024)

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
by: Hoorn, Johan F., et al.
Published: (2023)

Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
by: Sehgal, Sanskar, et al.
Published: (2025)

AI-Powered Legal Intelligence System Architecture: A Comprehensive Framework for Automated Legal Consultation and Analysis
by: Kalaycioglu, Sean, et al.
Published: (2025)

Reward Machines for Deep RL in Noisy and Uncertain Environments
by: Li, Andrew C., et al.
Published: (2024)

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
by: Jülich, Michael
Published: (2026)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Context-aware, Ante-hoc Explanations of Driving Behaviour
by: Grundt, Dominik, et al.
Published: (2025)

Perennial Semantic Data Terms of Use for Decentralized Web
by: Zhao, Rui, et al.
Published: (2024)

Judicial Permission
by: Governatori, Guido, et al.
Published: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction
by: Tertulino, Rodrigo, et al.
Published: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
by: Arkoudas, Konstantine, et al.
Published: (2026)

Parajudica: An RDF-Based Reasoner and Metamodel for Multi-Framework Context-Dependent Data Compliance Assessments
by: Moreau, Luc, et al.
Published: (2025)

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks
by: Constant, Axel, et al.
Published: (2024)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
by: Kim, Chang-Eop
Published: (2024)

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
by: Gruteser, Jan, et al.
Published: (2024)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
by: Zhang, Terry Jingchen, et al.
Published: (2025)

Evaluating Federated Learning for At-Risk Student Prediction: A Comparative Analysis of Model Complexity and Data Balancing
by: Tertulino, Rodrigo, et al.
Published: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
by: Ganguly, Debargha, et al.
Published: (2025)

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
by: Lifshitz, Shalev, et al.
Published: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
by: Yanahama, Banri, et al.
Published: (2026)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
by: Agarwal, Shubham, et al.
Published: (2026)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
by: Nguyen, Long S. T., et al.
Published: (2025)