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

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 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.