Reciprocals of Partition Polynomials

This repository contains artifacts generated by AxiomProver related to the paper arXiv:2605.21718.

For conjecture i where i ∈ {2,5,7,8,9,10}, the input files are:

• the statement of the conjecture in Conjecture{i}_Statement.tex
• task.md that reads

Please read `Conj{i}_Statement.tex` and formalize Conjecture~\ref{conj:conj{i}}.

• .environment that reads lean-4.28.0 (omitted from the current repo)

License

This repository uses the MIT License. See LICENSE for details.

Repository maintainers

• Evan Chen
• Kenny Lau
• Ken Ono
• Jujian Zhang