AI-assisted Coding. Correct by Construction, Not by Generation
Document Type
Conference Proceeding
Publication Date
5-8-2024
Recommended Citation
Lin, Shaowei, "AI-assisted Coding. Correct by Construction, Not by Generation" (2024). MPP Research Seminar. 6.
https://digitalcommons.chapman.edu/mpp_research_seminar/6
Comments
This presentation was part of the Topos-Chapman Workshop in May 2024.