Houjun Liu

Self-Play Conjection Generalization

  • generate
  • prune a lot
  • sample the values of conjectures based on the closest “unsolved” parts