• Sign in
  • Sign up
conf.researchr.org / Sanya Dod
  • ICSE 2025 profile
No Photo

Registered user since Mon 8 Jul 2024

Name:Sanya Dod

Contributions

2025

Forge

  • Author of Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast within the Research Papers-track
Share
xFri 16 May 04:45
using conf.researchr.org (v1.69.0)
Support page
Sign Up