Natalie Neamtu
Identifiers
- name variant Natalie Neamtu 0.60 · backfill
Papers (2)
- Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization cs.SE · 2026 · author #2
- VeruSAGE: A Study of Agent-Based Verification for Rust Systems cs.OS · 2025 · author #2
Mentions
- 2605.26457 #2 · arxiv_oai · confidence 0.70 Natalie Neamtu
Frequent Coauthors
- Anmol Agarwal 1 shared papers
- Bryan Parno 1 shared papers
- Cedric Flamant 1 shared papers
- Chenyuan Yang 1 shared papers
- Chris Hawblitzel 1 shared papers
- Jacob R. Lorch 1 shared papers
- Jannis Limperg 1 shared papers
- Kanna Shimizu 1 shared papers
- Pranjal Aggarwal 1 shared papers
- Sean Welleck 1 shared papers
- Seungone Kim 1 shared papers
- Shan Lu 1 shared papers