Spiess, Claudio

1. Calibration and Correctness of Language Models for Code
   2024/02/03 by C. Katharina Spieß, Spiess, Claudio, David Gros +14 · 12 citations
   Computer Science · #Digital Rights Management and Security
2. PDL: A Declarative Prompt Programming Language
   2024/10/24 by Mandana Vaziri, Louis Mandel, Vaziri, Mandana +5 · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Real-Time Systems Scheduling
3. AutoPDL: Automatic Prompt Optimization for LLM Agents
   2025/04/06 by Spiess, Claudio, Vaziri, Mandana, Mandel, Louis +1 · 6 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)