piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Stars
16
Forks
6
Watchers
16
Open Issues
7
Overall repository health assessment
No package.json found
This might not be a Node.js project
423
commits
30
commits
12
commits
5
commits
1
commits
expand analysis to work with bench_paradox logs too
26fba02View on GitHubMerge pull request #35 from datvo06/pr/process-supervision-logs
4091309View on GitHubAdd process supervision logs for Opus 4.6 and Sonnet 4.6 on DafnyBench
ba07b47View on GitHubadd case repair paradox script and lemma tracking
6848c97View on GitHubpull out utils (so Henri can also use them) + bug fix: strip comments before checking for 'lemma '
16d5395View on GitHub