/ About this event
A chat for researchers to meet other researchers at frontier tower, where we will discuss decentralized neurosymbolic AI agents, and how Agents can not just trust but rather formally prove statements they make to each other. We invite researchers to send us a message if they would like to present.
I was told by the venue staff, that anyone wanting to attend has to sign up with luma, so that the tablet computer at the front desk can check them in https://luma.com/frontier-pzl7.
Jans Aasman (Franz Institute) "The Rise of Accountable AI Agents (2025)" (Data Science Central)
Benjamin Barber (Hallucinate LLC) "From Law to Action: Neuro-Symbolic Runtime Enforcement for MCP Agents" (under review at Neurips 2026) Benjamin Barber (Hallucinate LLC) "Proof-Carrying Neurosymbolic Supervision: State, Logic-Governed Decisions, and Test-Evidence Reuse" (under review at Neurips 2026)
Yogev Bar-On (Attestable AI) “Proving LLMs at Scale: Zero-Knowledge Attestation of AI-Generated Outputs”
Victor Rielley (Translational Genomics institute) "ZKGPT"
Marius Dinu (Alpha Omega Labs) "Cortex: A Fixed-Point Theory of Governed Coding Agents"
Sam Dare (Convenant-AI) Covenant-72B: Pre-Training a 72B LLM with Trustless Peers Over-the-Internet
This event is a part of #SFTechWeek—a week of events hosted by VCs and startups to bring together the tech ecosystem. Learn more at www.tech-week.com.
https://allegrograph.com/wp-content/uploads/2026/01/The-rise-of-accountable-AI-agents_-How-knowledge-graphs-solve-the-a_-www.datasciencecentral.com_.pdf https://attestable.com/blog/proving-llms-scale "https://www.usenix.org/conference/usenixsecurity25/presentation/qu-zkgpt" https://www.dinu.at/research/cortex-fixed-point-theory-governed-coding-agents https://arxiv.org/pdf/2603.08163)
