Natalie Neamtu

According to our database, Natalie Neamtu authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization.

Anmol Agarwal, Natalie Neamtu, Pranjal Aggarwal, Seungone Kim, Jannis Limperg, Cedric Flamant, Kanna Shimizu, Bryan Parno, Sean Welleck

CoRR, May, 2026

2025

VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu

CoRR, December, 2025

2023

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.

Natalie Neamtu, Haobin Ni, Robbert van Renesse

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023