Popular repositories Loading

1. loop-invariant-gen-experiments loop-invariant-gen-experiments Public

   Forked from microsoft/loop-invariant-gen-experiments

   Loop invariant generation with LLMs

   Python

2. Clause2Inv Clause2Inv Public

   Forked from SoftWiser-group/Clause2Inv

   Code for "Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference" at ISSTA 2025

   SMT

3. NeuralInvariantRanker NeuralInvariantRanker Public

   Forked from microsoft/NeuralInvariantRanker

   Ranking LLM-Generated Loop Invariants for Program Verification.

   Slash

4. autospec autospec Public

   Forked from deskchen/autospec

   Implementation of "Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification""

   C

5. Unity-Game-Demo-For-Learning-Practicing Unity-Game-Demo-For-Learning-Practicing Public

   A personal Unity game demo. Built for learning.