AbstractPlay
- Karma
- 8
- Created
- 2 years ago
Recent Submissions
- 1. ▲ Lojban (en.wikipedia.org)
- 2. ▲ Geordie Williamson: Neural Networks for Mathematical Discovery (youtube.com)
- 3. ▲ Is This the End of Handwritten Math? Introducing Lean [video] (youtube.com)
- 4. ▲ Why Are LLMs Not Better at Finding Proofs? [video] (youtube.com)
- 5. ▲ How we might have viewed the continuum hypothesis as a fundamental axiom (youtube.com)