본문으로 건너뛰기

관련 기사 바로가기

Amazon의 Lean Focused Research Organization 장기 지원과 형식적 증명의 에이전트 안전성 기여yamafaktory/formal: Lean 4 증명 엔진 기반의 LLM 구동 코드 속성 검사기
← 피드로 돌아가기

Mathlib

Libraries (AI 라이브러리)

약 2개 아티클

관심 태그 추가
관련 태그:Amazon Bedrock AgentCoreLeanLean 4
TIMEHEADLINE