---
orphan: true
---

# Wu autoformalizations

These files are part of the Wu et al. artifact bundle.

- [MATH Algebra Translation](./wu_autoformalizations/MATH_algebra_translation.json)
- [MATH Intermediate Algebra Translation](./wu_autoformalizations/MATH_intermediate_algebra_translation.json)
- [MATH Number Theory Translation](./wu_autoformalizations/MATH_numbertheory_translation.json)