HF RL Explorer

Prove BufferedIsing (openai/math family 218: Conformal universality for weakly interacting and disordered…

Prove BufferedIsing (openai/math family 218: Conformal universality for weakly interacting and disordered…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 218 of the release, Conformal universality for weakly interacting and disordered…

The task

Context: this statement belongs to family 218 of the release, *Conformal universality for weakly interacting and disordered Ising models* (Probability and statistical mechanics). The family as a whole: Weak finite-range square-symmetric even multispin perturbations of the square-lattice Ising model preserve critical…

Part of raising-heart/openai-math.