Leanstral 1.5
Leanstral 1.5는 자동 정리 증명 기능을 위한 업데이트 모델입니다.
Leanstral 1.5 is an updated model aimed at automated proof synthesis.
AI가 선별한 아티클
Leanstral 1.5는 자동 정리 증명 기능을 위한 업데이트 모델입니다.
Leanstral 1.5 is an updated model aimed at automated proof synthesis.
Lean에서 비행 계획 버그 수정을 검증하기 위한 대수학 사용.
Using algebra to verify a flight-plan bug fix in Lean.
Lean 4에서 통계적 학습 이론을 형식화하는 프로젝트 소개
Introduction to a project formalizing statistical learning theory in Lean 4.
신경 정리 증명기를 통해 고등학교 올림피아드 문제를 해결했습니다.
Developed a neural theorem prover that solves high-school olympiad problems.