Learning Guided Automated Reasoning: A Brief Survey

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Blaauwbroek, Lasse, Cerna, David, Gauthier, Thibault, Jakubův, Jan, Kaliszyk, Cezary, Suda, Martin, Urban, Josef
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Machine Learning Logic in Computer Science Neural and Evolutionary Computing Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2403.04017