Jose_A_Alonso, 
Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. https://arxiv.org/abs/2403.04017 #ATP #ITP #AI #MachineLearning
Jose_A_Alonso, Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. https://arxiv.org/abs/2403.04017 #ATP #ITP #AI #MachineLearning
