Valentina Wu

According to our database, Valentina Wu authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs.

Valentina Wu, Alexandra Mendes, Alexandre Abreu

CoRR, July, 2025