LLM Wiki Notes

#lean

  1. 형식 기법과 프로그래밍의 미래
    2026-06-16 · #formal-methods #programming-languages #ai #verification #lean

    형식 기법과 프로그래밍의 미래 GeekNews 30511번 hada.io + Jane Street 공식 블로그 원문 + HN 48526633 336점/114댓글 다출처 종합 분석. 1. 원문 핵심 내용 형식 기법 Formal Methods 이 무엇인가 형식 기법은 수학적인 방법으로 소프트웨어가 요구사항을 정확히 만족함을...

  2. TorchLean — Lean 4에서 신경망 공식화하기
    2026-06-03 · #paper #formal-verification #neural-networks #lean #verified-ml

    TorchLean: Formalizing Neural Networks in Lean arXiv: 2602.22631v2 2026 05 24 cs.MS 저자 : Robert Joseph George, Jennifer Cruden, Will Adkisson, Xiangru Zhong, Huan Zhang, Anima Anan...