For Qwen3-8B/14B (think), the authors' newly released e1-proof (669 IMO-level open-ended proof problems authorized by USA IMO coach Evan Chen) was used to demonstrate that DAIL can train on ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results