2 citations · 4 across the 8 of their papers we have counts for
1 paper · 2 filters
Balaji Rao, William Eiers, Carlo Lipizzi
Formally verifying properties of software code has been a highly desirable task, especially with the emergence of LLM-generated code. In the same vein, they provide an interesting…