Jacob R. Lorch
Identifiers
No identifiers captured yet.
Papers (2)
- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set cs.SE · 2026 · author #7
- VeruSAGE: A Study of Agent-Based Verification for Rust Systems cs.OS · 2025 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Shan Lu 2 shared papers
- Chenyuan Yang 1 shared papers
- Chris Hawblitzel 1 shared papers
- Natalie Neamtu 1 shared papers
- Nongyu Di 1 shared papers
- Peng Cheng 1 shared papers
- Shuai Lu 1 shared papers
- Tianyu Chen 1 shared papers
- Xiaoxing Ma 1 shared papers
- Yeyun Gong 1 shared papers
- Yuan Yao 1 shared papers