Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Barış Bayazıt
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Mon 11 Aug 2025
Name:
Barış Bayazıt
Contributions
2025
LMPL
Author of A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants within the LMPL 2025-track
Share
x
Mon 27 Oct 20:46