HN Explorer

aseg

↗ HN profile [ 53.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Formalizing Julia in Lean (discourse.julialang.org)
    1 points 0
  2. LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)
    168 points 53
  3. Formal Verification meets ChatGPT: LeanDojo (leandojo.org)
    2 points 0
  4. Gradient Hacking (lesswrong.com)
    2 points 0