Self-Play Conjection Generalization
  • generate
  • prune a lot
  • sample the values of conjectures based on the closest “unsolved” parts