LLM Wiki Notes

#formal-verification

  1. 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...