2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Agentic Proof Automation: A Case Study
Yichen Xu, Martin Odersky
Proof engineering is notoriously labor-intensive: proofs that are straightforward on paper often require lengthy scripts in theorem provers. Recent advances in large language model…
cs.PL2025★ 2 cited
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Yichen Xu, Oliver Bračevac, Cao Nguyen Pham +1
Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, the…