SJTU AI4Math

Official website for the SJTU AI for Mathematics group, published at sjtu-ai4math.github.io.

Stack

• React + TypeScript + Vite
• TanStack Router with nested, type-safe routes
• i18next with Chinese and English locales
• Persistent light/dark themes with system-preference initialization
• @sjtu-ai4math/snl-basics and KaTeX styles
• GitHub Actions deployment to GitHub Pages

Development

npm ci
npm run dev

Quality gates:

npm test
npm run lint
npm run build
npm audit

The production build creates both dist/index.html and dist/404.html, allowing GitHub Pages to serve client-side routes directly.

Brand assets

The light and dark logo variants in public/brand/ come from SJTU-AI4Math/SNL-Doc-Extension.

Original cat photographs, the summer-school content plan, the clean campus map, and its annotated marker reference are retained in assets/source/. Optimized WebP derivatives in public/img/ are used by the website so the Pages artifact stays small.