english
an archive of posts in this category
| May 04, 2026 | Auto-formalization I: Keep Trying |
|---|---|
| Sep 09, 2025 | Avoid AI Tutors! |
| Aug 15, 2025 | Mathematics in the Context Window |
| Jun 03, 2025 | Typst |
| Apr 17, 2025 | Welcome |
| Nov 18, 2024 | The Hammersley-Clifford theorem |