math
an archive of posts with this tag
| 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 |
| Nov 18, 2024 | The Hammersley-Clifford theorem |