A homotopy-type-theoretic generalization of neurosymbolic inference
Signal
72
Hype
15
En 3 lignesArticle théorique proposant une généralisation des systèmes neurosymboliques via la théorie homotopique des types. Le cadre préserve les informations de symétrie et de preuves multiples, transformant les fonctionnelles classiques en cardinales homotopiques pondérées. Validation sur benchmarks MNIST avec meilleure calibration qu'un ensemble diversifié.Lire la source
Ton avis ?
Résumé généré par Claude — vérifié par l'humain