판 이력 — ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems | AIChainDay