형식 검증 2026-09-02 버클리 Vero 벤치마크, 43개 중 27개만 완전 해결 버클리 RDI 연구소의 새 벤치마크 Vero는 AI 에이전트에게 Lean 4 저장소 전체 규모의 구현과 증명을 동시에 요구한다. 최고 성능 모델조차 43개 프로젝트 중 27개만 완전히 풀어냈다. #대형 모델 벤치마크#AI 코딩#버클리
임바디드 AI 2026-07-06 버클리 로봇, 웹 영상으로 정교한 조작 학습 버클리 로봇, 웹 영상으로 정교한 조작 학습 소식을 한국 기술 독자를 위해 핵심 숫자와 검증 지점을 살려 정리했습니다. #로봇#버클리#정교한 로봇 손
