Barış Bayazıt -

Registered user since Mon 11 Aug 2025

Name:Barış Bayazıt

Contributions

2026

POPL

Author of RESpecBench: Rigorous Evaluation of Specification Generation with Automated Verification within the Student Research Competition-track
Student Volunteer in Student Volunteers

2025

LMPL

Author of A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants within the LMPL 2025-track