search

microsoft / loop-invariant-gen-experiments

Loop invariant generation with LLMs
MIT License
14 stars 5 forks source link

pinned all packages, simplified CLI options #8

Closed adharshkamath closed 7 months ago