23ČVCPropositions as Types : An Introduction to Program Synthesisčt 23. 7. · 18:30ETH Zurich / Zentrum / CAB G 52
29ČVCPapers We Love: Brooklyn - DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningst 29. 7. · 18:30Mindspace Williamsburg
30ČVCJava Compiler Superpowers: Annotation Processors, Error Prone, and Coding Agentsčt 30. 7. · 18:30Free Times Cafe