theorem-proving
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| Feedback Distillation: LLM 피드백 증류로 Lean 정리 증명 학습하기 (feat. Meta FAIR) |
|
0 | 173 | 7월 2, 2026 |
| TorchLean: 신경망을 Lean 4 안에서 명세하고 실행하며 검증하는 통합 프레임워크 |
|
0 | 238 | 6월 2, 2026 |