Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
1 More Paper · Brief
Listen to the Brief
About this paper
A brief audio edition of this paper.
Authors: Jacqueline Mitchell, Yasser Shaaban
Published in: Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages
Publication date: 2025-10-09
Read the paper: https://doi.org/10.1145/3759425.3763390
Source license: Creative Commons Attribution 4.0 International — https://creativecommons.org/licenses/by/4.0/
The authors and publisher do not sponsor or endorse this recording.
Transcript
A transcript has not been published for this episode yet.