콘텐츠로 바로가기
SUNG-HEE
[출처:]
arXiv cs.AI
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
2026-07-01
←
이전 페이지
1
…
569
570
571
572
573
…
1,040
다음 페이지
→