Decentralized Neurosymbolic AI Braindump #SFTechWeek
Hosted by
¬‿¬
ᵔ▾ᵔ
:)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.
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"
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
Guest List
^◡^
*◟*
•‿•
Restricted Access
Must be on the list to view event activity & see list detailsAlready RSVP'd? Sign in