ReuF2F verified 244 REU problems
The new ReuF2F benchmark on Lean 4 covers 244 open problems from Research Experiences for Undergraduates to verify AI solutions.
#coding agents#lean 4#reu#formal verification#ai safety
RealFeedApp betaThe new ReuF2F benchmark on Lean 4 covers 244 open problems from Research Experiences for Undergraduates to verify AI solutions.
