HN Explorer

aseg

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