ECCR 265
Boulder
Arrangementer på ECCR 265
tor, 29 okt · 15:30
CS Colloquium: Nikhil Swamy on The ART of Agentic Proof-Oriented Programming: Audits, Rubrics, and Templates
ECCR 265 · Boulder
CS Colloquium: Nikhil Swamy on The ART of Agentic Proof-Oriented Programming: Audits, Rubrics, and Templates
ECCR 265 · Boulder