93% on RepoMod-Bench: porting 200K-line codebases with a proof in the loop

(blog.bosun.ai)

3 points | by timonv 4 hours ago ago

1 comments