본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
탐색
보관함
로그인
홈
트렌딩
커뮤니티
보관함
프로필
관련 기사 바로가기
yamafaktory/formal: Lean 4 증명 엔진 기반의 LLM 구동 코드 속성 검사기
타입 체크 기반 컴플라이언스: Lean 4 정리 증명을 활용한 금융 에이전트 시스템용 결정론적 가드레일
블라소프-맥스웰-란다우 평형의 반자율적 정형화
AI가 6시간 만에 30년 된 수학 난제를 해결했습니다: Terence Tao, ChatGPT 등
TorchLean: Lean 4를 활용한 신경망의 정형 검증 프레임워크
성능과 다양성 제약 조건 충돌 시의 자동 종 분화(Bifurcation) 시스템
Hamiltonian-SMT: 물리적 보존 법칙과 Lean 4 검증을 결합한 새로운 다중 에이전트 강화학습(MARL) 프레임워크
SMT 솔버를 활용한 정형 레귤레이터 계층: 모델 진화의 기호적 게이트웨이
← 피드로 돌아가기
Lean 4
Libraries (AI 라이브러리)
약 9개 아티클
관련 태그:
Aristotle
ChatGPT
Claude Code
CROWN
Formal Verification
Gemini
Gemini 2.0 Flash
Hamiltonian-SMT
JAX
JaxMARL