Martin Odersky

1. Formalizing Box Inference for Capture Calculus
   2023/06/10 by Yichen Xu, Xu, Yichen, Martin Odersky +1 · 3 citations
   Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research
2. Tracking Capabilities for Safer Agents
   2026/03/01 by Martin Odersky, Yaoyu Zhao, Yichen Xu +2 · 2 voices
   Computer Science · #cs.AI #cs.PL
3. Classifying Capabilities (Extended Version)
   2026/07/27 by Cao Nguyen Pham, Oliver Bračevac, Yichen Xu +2
   #cs.PL