Image de couverture de livre

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bollig, Benedikt
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verification of Neural Networks (Lecture Notes)
par: Bollig, Benedikt
Publié: (2026)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
par: Bollig, Benedikt
Publié: (2026)

RvLLM: LLM Runtime Verification with Domain Knowledge
par: Zhang, Yedi, et autres
Publié: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
par: Kasibatla, Saketh Ram, et autres
Publié: (2024)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
par: Desmartin, Remi, et autres
Publié: (2024)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
par: Yubeaton, Patrick, et autres
Publié: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
par: Tremante, Andrew, et autres
Publié: (2026)

Agentic Proving for Program Verification
par: Sosso, Alessandro, et autres
Publié: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

Enforcing Temporal Constraints for LLM Agents
par: Kamath, Adharsh, et autres
Publié: (2025)

Dafny as Verification-Aware Intermediate Language for Code Generation
par: Li, Yue Chen, et autres
Publié: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
par: Shrager, Jeff
Publié: (2026)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

Decidable By Construction: Design-Time Verification for Trustworthy AI
par: Haynes, Houston
Publié: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
par: Mukherji, Kaustuv, et autres
Publié: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
par: Vin, Eric, et autres
Publié: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
par: Le, Quang Loc
Publié: (2025)

Provable Coordination for LLM Agents via Message Sequence Charts
par: Bollig, Benedikt, et autres
Publié: (2026)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
par: Santana, Manuel Alejandro Borroto, et autres
Publié: (2026)

A Reversible Semantics for Janus
par: Lanese, Ivan, et autres
Publié: (2026)

Pearce's Characterisation in an Epistemic Domain
par: Su, Ezgi Iraz
Publié: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
par: Ileri, Atalay Mert, et autres
Publié: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
par: Mendez, Julian Alfredo
Publié: (2023)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

Can Proof Assistants Verify Multi-Agent Systems?
par: Mendez, Julian Alfredo, et autres
Publié: (2025)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
par: Song, Zhuo-Yang
Publié: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
par: Gupte, Mihir, et autres
Publié: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
par: Timany, Amin, et autres
Publié: (2021)