3 ms·
You seem knowledgeable. Can you share a couple of interesting papers for theorem proving that came out in the last year? I read a few of them as they came out,
by visarga 3y ago
You seem knowledgeable. Can you share a couple of interesting papers for theorem proving that came out in the last year? I read a few of them as they came out, and it seemed neural nets can advance the field by mixing "soft" language with "hard" symbolic systems.
- wbhart 3y agoThe field is fairly new to me. I'm originally from computer algebra, and somehow struggling into the field of ATP. The most interesting papers to me personally are the following three: * Making higher order superposition work. https://doi.org/10.1007/978-3-030-79876-5_24 https://doi.org/10.1007/978-3-030-79876-5_24 * MizAR 60 for Mizar 50. https://doi.org/10.48550/arXiv.2303.06686 https://doi.org/10.48550/arXiv.2303.06686 * Magnus Hammer, a Transformer Based Approach to Premise Selection. https://doi.org/10.48550/arXiv.2303.04488 https://doi.org/10.48550/arXiv.2303.04488 Your mileage may vary.