Re:L
LLM의 이론전산과학(TCS) 연구 능력을 평가하는 벤치마크 'FormalTCS' | Re:L