전체피드·트렌딩·게시판 통합 피드최신 뉴스 주간주간·월간 인기 트렌딩오픈소스·릴리즈 게시판블로그·홍보 태그주제별 탐색

#formal-verification

AI Briefing

개인정보처리방침 이용약관 문의 · 건의 RSS/API 후원

피드
트렌딩
주간
태그
설정

OpenAI의 미공개 모델 Astra, 미해결 수학 문제 10개 해결

·2026.08.04 09시

SymCrypt의 Rust 암호화 검증: 표준에서 코드까지

·2026.07.14 01시

추천Leanstral 1.5: 모두를 위한 증명 풍요

·2·2026.07.04 07시

Leanstral 1.5

·2026.07.01 05시

EC2의 정식 검증된 '격리 엔진', 가상 머신 격리에 대한 수학적 보장 제공

·2026.06.11 00시

AI 코딩 루프를 위한 형식 검증 게이트

·2026.05.21 00시

Lean 4 통계적 학습 이론 라이브러리

·2026.05.09 00시