GitHub repository: microsoft/loop-invariant-gen-experiments
Primary language: Python
Description: Loop invariant generation with LLMs