ECCR 265
Boulder
Evenemang på ECCR 265
tors, 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