Review for NeurIPS paper: Small Nash Equilibrium Certificates in Very Large Games

The abstraction/pseudogame idea is intuitive, which is formed by merging some nodes in the extensive form tree into one meta-node with upper and lower bound representing the optimistic and pessimistic payoffs of all the possible outcomes.