Hacker News
- A slightly longer Lean 4 proof tour https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/ 27 comments
Linking pages
- Solomonic learning: Large language models and the art of induction - Amazon Science https://www.amazon.science/blog/solomonic-learning-large-language-models-and-the-art-of-induction 9 comments
- How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments
Related searches:
Search whole site: site:terrytao.wordpress.com
Search title: A slightly longer Lean 4 proof tour | What's new
See how to search.