Natalie Neamtu

Identifiers

• name variant Natalie Neamtu 0.60 · backfill

Papers (2)

1. Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization cs.SE · 2026 · author #2
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