관련 기사 바로가기
AI가 생성한 코드의 완벽한 정확성을 보장하는 형식 검증과 LeanAmazon의 Lean Focused Research Organization 장기 지원과 형식적 증명의 에이전트 안전성 기여Generative Compilation: 생성 과정에서 컴파일러 피드백을 얻는 방법AI 에이전트의 맹목적 신뢰를 해결하는 형식 검증: Automind와 Universalis순서 효과는 곡률Maith: Lean의 elaborated Expr 트리에서 IR을 추출해 토큰화하는 실험적 프로젝트Axiom의 Verified AI: 수학적 증명으로 AI 학습의 한계 돌파JSON 대비 토큰을 48% 절감하는 LLM 최적화 데이터 포맷 LEAN 공개블라소프-맥스웰-란다우 평형의 반자율적 정형화Import AI 449: 스스로 학습하는 LLM과 블록체인 기반 72B 분산 학습의 부상엄밀함의 상품화: AI가 과학과 공학의 병목 현상을 해결하는 방법AI의 수학 문제 해결 능력과 연구 가속화Lean Refactor: Agentic Strategy Search를 통한 증명 최적화뉴로심볼릭 생성: 비미분 솔버를 활용한 정형 검증 모델의 효과적인 학습 방법은 무엇인가?
