RECHERCHE
NeSyCat Torch : une implémentation tensorielle différentiable pour l'apprentissage neurosymbolique
Un framework unifié subsumant sémantiques classique, floue, probabiliste et neuronale sous une seule définition paramétrique de la vérité.
arXiv cs.AI · cs.LG · cs.CL·Daniel Romero Schellhorn, Till Mossakowski, Björn Gehrke·17 juin 2026
Image · Source originale
NeSyCat Torch étend le framework NeSyCat en intégrant des prédicats et fonctions appris par réseaux de neurones, comblant ainsi le chaînon manquant entre sémantique catégorielle et apprentissage profond. Le système s'appuie sur une monade log-tensorielle paresseuse pour un entraînement numériquement stable et différentiable, complétée d'une batch monad pour l'efficacité. Sur le benchmark MNIST addition, les implémentations HaskTorch, JAX et PyTorch surpassent LTN et DeepProbLog en vitesse et précision, tout en restant dans un cadre uniforme applicable à de nombreuses approches neurosymboliques.
Chaleur 10
Pertinence 55
Nouveauté 72