George Koomullil
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1NLP×1Crypto×1Prog. Lang.×1
Research Timeline
2026
Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
The paper proposes a trust-boundary architecture using Lean 4 to verify the deterministic structured computations surrounding LLM pipelines, providing verifiable certificates for high-stakes deployments.
Highlighted terms show continued research focus across papers