Comment Comment by wbhart The 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* MizAR 60 for Mizar 50. https://doi.org/10.48550/arXiv.2303.06686* Magnus Hammer, a Transformer Based Approach to Premise Selection. https://doi.org/10.48550/arXiv.2303.04488Your mileage may vary. parent wbhart 2 years ago
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
* MizAR 60 for Mizar 50. 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
Your mileage may vary.