프로젝트

cmu-l3/reuf2f

ReuF2F: Benchmarking coding agents on formalized undergraduate research problems

게시물

새 소식OCT 17

cmu-l3/reuf2f의 ReuF2F는 학부 연구의 열린 문제 244개로 코딩 에이전트를 평가하는 Lean 벤치마크다.