Marilyn Rego

According to our database, Marilyn Rego authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Proceedings of the IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering, 2025

2024

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

CoRR, 2024