3 ms·

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

• auggierose 7y ago
  The title of the article this points to seems to be very different from the title of this submission ... Probably pointing to wrong paper?
  • guiambros 7y ago
    This seems to be the correct paper: https://arxiv.org/abs/1904.03241 https://arxiv.org/abs/1904.03241
    • fspeech 7y ago
      It would be nice to have some of the proof checker instrumentation for fast starts upstreamed into HolLight.
    • dang 7y ago
      Changed to that from https://arxiv.org/abs/1904.0324 https://arxiv.org/abs/1904.0324. Thanks!