english
an archive of posts in this category
| Jul 16, 2026 | Auto-formalization II: Now What? |
|---|---|
| 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 |