[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"zg0ZJJweEm":3},"[![Logo for Axiom Math](logo.svg)](https://axiommath.ai/)\n\n# Reciprocals of Partition Polynomials\n\nThis repository contains artifacts generated by AxiomProver related to the paper [arXiv:2605.21718](https://arxiv.org/abs/2605.21718).\n\n## Input files\n\nFor conjecture `i` where `i ∈ {2,5,7,8,9,10}`, the input files are:\n- the statement of the conjecture in `Conjecture{i}_Statement.tex` \n- `task.md` that reads\n```\nPlease read `Conj{i}_Statement.tex` and formalize Conjecture~\\ref{conj:conj{i}}.\n```\n- `.environment` that reads `lean-4.28.0` (omitted from the current repo)\n\n## License\n\nThis repository uses the MIT License. See [LICENSE](LICENSE) for details.\n\n## Lean version\n\nThe formal proofs provided in this work were developed\nand verified using **Lean 4.28.0**.\nCompatibility with earlier or later versions is not guaranteed\ndue to the evolving nature of the Lean 4 compiler and its core libraries.\n\n## Repository maintainers\n\n- [Evan Chen](https://github.com/vEnhance)\n- [Kenny Lau](https://github.com/kckennylau)\n- [Ken Ono](https://github.com/kenono691)\n- [Jujian Zhang](https://github.com/jjaassoonn)\n",1784558053649]