GitHub repository: microsoft/NeuralInvariantRanker
Primary language: Slash
Description: Ranking LLM-Generated Loop Invariants for Program Verification.