TY  - RPRT
TI  - Learning Guided Automated Reasoning: A Brief Survey
AU  - Lasse Blaauwbroek
AU  - David Cerna
AU  - Thibault Gauthier
AU  - Jan Jakubův
AU  - Cezary Kaliszyk
AU  - Martin Suda
AU  - Josef Urban
PY  - 2024
DO  - 10.1007/978-3-031-61716-4_4
UR  - https://arxiv.org/abs/2403.04017
ID  - 2403.04017
ER  -