ECCR 265
Boulder
Akce v ECCR 265
čtv, 29 říj · 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