Copertina

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Koomullil, George
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Computation and Language Cryptography and Security Programming Languages 68Q60, 68V15, 68T50 F.3.1; D.2.4; F.4.1; I.2.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
di: Koomullil, George
Pubblicazione: (2026)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Classification of Covering Spaces and Canonical Change of Basepoint
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2024)

Combining Mechanical and Agentic Specification Inference for Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
di: Nakano, Keisuke, et al.
Pubblicazione: (2024)

Strategies, model checking and branching-time properties in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, et al.
Pubblicazione: (2023)

Decidable Reversible Equivalences for Finite Petri Nets
di: Gorrieri, Roberto, et al.
Pubblicazione: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
di: Zhang, Manqing, et al.
Pubblicazione: (2026)

Conformance Games for Graded Semantics
di: Forster, Jonas, et al.
Pubblicazione: (2024)

Separate Before You Compress: The WWHO Tokenization Architecture
di: Darshana, Kusal
Pubblicazione: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
di: Chan, Jhet
Pubblicazione: (2025)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
di: Camlin, Jeffrey
Pubblicazione: (2025)

Locality, Consistency, and the Tractability Frontier
di: Simas, Tristan
Pubblicazione: (2026)

On Woolhouse's Cotton-Spinning Problem
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
di: Donadello, Ivan, et al.
Pubblicazione: (2024)

A Formal Analysis of Algorithms for Matroids and Greedoids
di: Abdulaziz, Mohammad, et al.
Pubblicazione: (2025)

On the relative asymptotic expressivity of inference frameworks
di: Koponen, Vera, et al.
Pubblicazione: (2022)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
di: Dorochko, Leonid, et al.
Pubblicazione: (2026)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
di: Xia, Gus G.
Pubblicazione: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

Oruga: An Avatar of Representational Systems Theory
di: Raggi, Daniel, et al.
Pubblicazione: (2025)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
di: Echenim, Mnacho, et al.
Pubblicazione: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

AVEC: Bootstrapping Privacy for Local LLMs
di: Gaikwad, Madhava
Pubblicazione: (2025)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)