OAI.SphericalPerceptron.sphericalGridValue_compact_uniform: intermediate lemma from OpenAI, Perceptron free energies and microscopic jamming exponents (result family 222)

Initializing...

OAI.SphericalPerceptron.sphericalGridValue_compact_uniform: intermediate lemma from OpenAI, Perceptron free energies and microscopic jamming exponents (result family 222) · Prove2Me