Categories

198 페이지

AI

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

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

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

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

🧠 Representation Geometry: 언어 통계 대칭성이 LLM 구조 형성하는 원리