Click here to Download this video
Lemur: Integrating Large Language Models in Automated Program Verification
Simons Institute Simons Institute
59.2K subscribers
769 views
0

 Published On Nov 13, 2023

Nina Narodytska, Research Scientist, VMware
Ninth Annual Industry Day

show more

Share/Embed

Up next Autoplay