1. Maxproof (arxiv.org)
  2. Adaptive PDFs (sgaud.com)