3 ms·
The paper: HOList: An Environment for Machine Learning of Higher-Order Theorem Proving[1] [1] https://arxiv.org/abs/1904.03241 https://arxiv.org/abs/1904.0324
by MrXOR 7y ago
The paper:
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving[1]
[1] https://arxiv.org/abs/1904.03241 https://arxiv.org/abs/1904.03241