Informatique - Calcul symbolique

Des chercheurs comparent les LLM et les systèmes neuro-symboliques pour résoudre les Matrices Progressives de Raven.

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer

2025-04-03T20:06:27+00:00 ― 6 min lire

Derniers articles

Alaa Ibrahim, Bruno Salvy

2025-03-21T08:42:00+00:00 ― 8 min lire

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 9 min lire

Arseny Skryagin, Daniel Ochs, Phillip Deibert

2025-02-12T01:54:45+00:00 ― 8 min lire

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 8 min lire

Sebastian Debus, Tobias Metzlaff

2025-02-07T16:48:10+00:00 ― 9 min lire

Derniers articles

Découvre comment les bases de données graphiques transforment le stockage des données et les relations.

Veronica Santos, Bruno Cuconato

2025-02-02T02:46:03+00:00 ― 7 min lire

Découvre comment APEX personnalise les connaissances pour les intérêts des utilisateurs qui évoluent.

Zihao Li, Dongqi Fu, Mengting Ai

2025-01-29T13:42:09+00:00 ― 8 min lire

Découvrez comment HOLALA améliore l'efficacité des preuves dans la démonstration interactive des théorèmes.

Shuai Wang

2025-01-18T09:40:03+00:00 ― 7 min lire