Informatique - Calcul symbolique

Cryptographie et sécuritéUtiliser l'IA pour renforcer les protocoles cryptographiques

Les modèles d'IA peuvent aider à trouver des vulnérabilités dans les systèmes cryptographiques pour une meilleure sécurité.

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini

2025-05-16T18:12:00+00:00 ― 9 min lire

Calcul symboliqueComprendre la Décomposition Algébrique Cylindrique

Découvrez comment le CAO simplifie les formes complexes en math et ses utilisations pratiques.

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

2025-05-16T03:25:20+00:00 ― 7 min lire

Neurones et cognitionApprendre de la nature : Inspirer le développement de l'IA

Explorer comment l'intelligence de la nature façonne les futurs systèmes d'IA.

Nima Dehghani, Michael Levin

2025-05-11T20:00:32+00:00 ― 8 min lire

Calcul symboliqueAvancées dans le calcul scientifique multimodal avec Botfip-LLM

Botfip-LLM combine des données variées pour améliorer la compréhension en calcul scientifique.

Tianhao Chen, Pengbo Xu

2025-05-11T06:53:20+00:00 ― 7 min lire

Calcul symboliqueDiviser des polynômes : Un guide de navigation

Apprends à gérer la division de polynômes en toute sécurité et efficacement.

Christopher W. Brown

2025-04-28T09:28:15+00:00 ― 7 min lire

Intelligence artificielleL'IA peut-elle vraiment refléter nos valeurs morales ?

Examiner si les grands modèles de langage reflètent les points de vue moraux culturels.

Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:50:30+00:00 ― 10 min lire

Intelligence artificielleLes modèles de langage reflètent-ils nos morals ?

Explorer si l'IA s'aligne avec les normes morales culturelles diverses.

Evi Papadopoulou, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:12:45+00:00 ― 7 min lire

Intelligence artificielleDuels d'IA : Modèles de langue vs. Raisonnement neuro-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

Calcul symboliqueLe Puzzle de la Positivité dans les Récurrences Linéaires

Découvrez les défis et les solutions au problème de la positivité dans les séquences de nombres.

Alaa Ibrahim, Bruno Salvy

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

Langages de programmationRenforcer la sécurité avec B2Scala : une nouvelle approche

Les outils B2Scala améliorent l'analyse des protocoles de sécurité pour une communication sécurisée.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

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

Intelligence artificielleAccélérer l'IA avec des Réseaux de Réponses

Lier la programmation logique aux réseaux neuronaux pour des solutions IA plus rapides.

Arseny Skryagin, Daniel Ochs, Phillip Deibert

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

Logique en informatiqueÉclaircir les cycles dans les graphes de connaissances

Des méthodes automatisées gèrent les cycles dans les graphes de connaissances pour des relations de données plus claires.

Shuai Wang, Peter Bloem, Joe Raad

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

Géométrie algébriqueLa fascination des groupes de Weyl en maths

Explore la signification et les applications des groupes de Weyl pour comprendre la symétrie.

Sebastian Debus, Tobias Metzlaff

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

Bases de donnéesL'essor des bases de données graphiques dans la gestion des données

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

Apprentissage automatiqueGraphes de connaissance personnalisés : APEX libéré

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

Logique en informatiqueAvancées dans les Proveurs de Théorèmes Interactifs

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