search

nuprl / MultiPL-E

A multi-programming language benchmark for LLMs
https://nuprl.github.io/MultiPL-E/
Other
200 stars 38 forks source link

Dafny #121

Closed cassanof closed 10 months ago

cassanof commented 10 months ago

Looks fantastic!