Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by aseg
LeanDojo: Theorem Proving in Lean Using LLMs
146 points
aseg
2024-07-28T22:34:36Z
leandojo.org
Formal Verification meets ChatGPT: LeanDojo
2 points
aseg
2023-06-29T19:31:22Z
leandojo.org
Gradient Hacking
2 points
aseg
2022-11-23T16:53:35Z
www.lesswrong.com