Tags

191 페이지

AI

Dirac Agent: TerminalBench 최고 성능, 오픈소스 하니스 구현 분석

Lean Theorem Prover: 정형 검증 도구 선택의 현실적 고찰

Decoupled DiLoCo: 대규모 분산 AI 학습의 탄력성 확보

Utilyze: nvidia-smi보다 정확한 GPU 실성능(Throughput) 측정

🦀 Voxtral Mini 4B: Rust로 구현한 브라우저 실시간 음성 인식