those are not verified. I've tried forgecode and I cannot believe they didn't do something to influence the benchmarks
Yup, they were found to be sneaking the answer key using agents.md
https://debugml.github.io/cheating-agents/#sneaking-the-answ...
Yup, they were found to be sneaking the answer key using agents.md
https://debugml.github.io/cheating-agents/#sneaking-the-answ...