First CCSD seminar: Coding Theory, Low-Degree Testing, and PIOPs
CCSD launches its first academic seminar on the mathematical foundations of verifiable proof systems, jointly organized with FIUBA, Exactas UBA, and LambdaClass.
Read more →Tag: lambdaclass
2 posts found
CommitLLM: a cryptographic protocol for verifying LLM inference
Researchers from CCSD and LambdaClass present CommitLLM, a commit-and-audit protocol to verify that a provider actually ran the language model it claims to have run.
Read more →