Merge pull request #36 from akravc/case-repair

readme with more instructions

logs and update path in script

expand analysis to work with bench_paradox logs too

Merge pull request #35 from datvo06/pr/process-supervision-logs

Remove results table from README

Remove private HuggingFace link from README

Add process supervision logs for Opus 4.6 and Sonnet 4.6 on DafnyBench

readme

logs

Merge pull request #34 from akravc/case-repair

top length lemmas script

case repair log

add case repair paradox script and lemma tracking

pull out utils (so Henri can also use them) + bug fix: strip comments before checking for 'lemma '