본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
탐색
보관함
로그인
홈
트렌딩
커뮤니티
보관함
프로필
관련 기사 바로가기
Generative Compilation: 생성 과정에서 컴파일러 피드백을 얻는 방법
AI 에이전트의 맹목적 신뢰를 해결하는 형식 검증: Automind와 Universalis
순서 효과는 곡률
Axiom의 Verified AI: 수학적 증명으로 AI 학습의 한계 돌파
블라소프-맥스웰-란다우 평형의 반자율적 정형화
Import AI 449: 스스로 학습하는 LLM과 블록체인 기반 72B 분산 학습의 부상
엄밀함의 상품화: AI가 과학과 공학의 병목 현상을 해결하는 방법
AI의 수학 문제 해결 능력과 연구 가속화
Maith: Lean의 elaborated Expr 트리에서 IR을 추출해 토큰화하는 실험적 프로젝트
Lean Refactor: Agentic Strategy Search를 통한 증명 최적화
JSON 대비 토큰을 48% 절감하는 LLM 최적화 데이터 포맷 LEAN 공개
뉴로심볼릭 생성: 비미분 솔버를 활용한 정형 검증 모델의 효과적인 학습 방법은 무엇인가?
← 피드로 돌아가기
Lean
Libraries (AI 라이브러리)
약 13개 아티클
관련 태그:
o1
Claude Code
Bittensor
Gemini 2.0 Flash
Covenant-72B
DeepSeek-R1
Gemini
DINOv3
Chain of Thought
Axiom