Informatica - Calcolo simbolico

Apprendimento automaticoAvanzamenti nella regressione simbolica con modelli di linguaggio

Un nuovo metodo migliora la regressione simbolica usando modelli linguistici per un'analisi dei dati migliore.

Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes

2025-06-12T00:30:00+00:00 ― 6 leggere min

Linguaggi di programmazioneAvanzamenti in QLMNtal per strutture grafiche

QLMNtal migliora la gestione dei grafi con potenti funzionalità di quantificazione.

Haruto Mishina, Kazunori Ueda

2025-06-10T11:38:00+00:00 ― 5 leggere min

Intelligenza artificialeSviluppi nell'IA grazie alla motivazione intrinseca e alla pianificazione

I sistemi di intelligenza artificiale imparano attraverso l'esplorazione e la motivazione, migliorando le loro prestazioni nei compiti.

Gabriele Sartor, Angelo Oddi, Riccardo Rasconi

2025-06-09T18:38:54+00:00 ― 8 leggere min

Calcolo simbolicoDecomposizione Efficiente di Insiemi Algebrici

Un nuovo metodo per scomporre insiemi algebrici in parti equidimensionali usando le basi di Gröbner.

Rafael Mohr

2025-06-04T21:51:36+00:00 ― 6 leggere min

Intelligenza artificialeMigliorare la rilevazione delle frodi con AI spiegabile

Combinare la logica fuzzy e la regressione simbolica per una rilevazione delle frodi più chiara.

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 7 leggere min

Crittografia e sicurezzaUsare l'IA per rinforzare i protocolli crittografici

I modelli di intelligenza artificiale possono aiutare a trovare vulnerabilità nei sistemi crittografici per una sicurezza migliore.

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini

2025-05-16T18:12:00+00:00 ― 7 leggere min

Calcolo simbolicoCapire la Decomposizione Algebrica Cylindrica

Scopri come il CAD semplifica le forme complesse nella matematica e i suoi usi pratici.

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

2025-05-16T03:25:20+00:00 ― 6 leggere min

Neuroni e cognizioneImparare dalla Natura: Ispirare lo Sviluppo dell'IA

Esplorare come l'intelligenza della natura plasmi i futuri sistemi di IA.

Nima Dehghani, Michael Levin

2025-05-11T20:00:32+00:00 ― 7 leggere min

Calcolo simbolicoAvanzamenti nella Computazione Scientifica Multimodale con Botfip-LLM

Botfip-LLM combina dati diversi per migliorare la comprensione nel calcolo scientifico.

Tianhao Chen, Pengbo Xu

2025-05-11T06:53:20+00:00 ― 6 leggere min

Calcolo simbolicoDividere i polinomi: Una guida navigazionale

Impara a affrontare la divisione polinomiale in modo sicuro ed efficace.

Christopher W. Brown

2025-04-28T09:28:15+00:00 ― 5 leggere min

Intelligenza artificialeL'IA può davvero riflettere i nostri valori morali?

Esaminare se i grandi modelli di linguaggio riflettono i punti di vista morali culturali.

Mijntje Meijer, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:50:30+00:00 ― 8 leggere min

Intelligenza artificialeI Modelli Linguistici Riflettono le Nostre Morali?

Esplorare se l'IA si allinea con i diversi standard morali culturali.

Evi Papadopoulou, Hadi Mohammadi, Ayoub Bagheri

2025-04-28T08:12:45+00:00 ― 5 leggere min

Intelligenza artificialeConfronto tra IA: Modelli Linguistici vs. Ragionamento Neuro-Simbolico

I ricercatori confrontano i LLM e i sistemi neuro-simbolici nella risoluzione delle Matrici Progressive di Raven.

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer

2025-04-03T20:06:27+00:00 ― 5 leggere min

Calcolo simbolicoIl Puzzle della Positività nelle Ricorrenze Lineari

Scopri le sfide e le soluzioni al problema della positività nelle sequenze numeriche.

Alaa Ibrahim, Bruno Salvy

2025-03-21T08:42:00+00:00 ― 7 leggere min

Linguaggi di programmazioneRafforzare la sicurezza con B2Scala: un nuovo approccio

Gli strumenti B2Scala migliorano l'analisi dei protocolli di sicurezza per una comunicazione sicura.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 7 leggere min

Intelligenza artificialeAccelerare l'IA con le Reti di Set di Risposte

Collegare la programmazione logica con le reti neurali per soluzioni AI più veloci.

Arseny Skryagin, Daniel Ochs, Phillip Deibert

2025-02-12T01:54:45+00:00 ― 7 leggere min

Logica nell'informaticaChiarire i cicli nei grafi della conoscenza

I metodi automatizzati affrontano i cicli nei grafi di conoscenza per avere relazioni dati più chiare.

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 7 leggere min

Geometria algebricaLa fascinazione dei gruppi di Weyl nella matematica

Esplora il significato e le applicazioni dei gruppi di Weyl per capire la simmetria.

Sebastian Debus, Tobias Metzlaff

2025-02-07T16:48:10+00:00 ― 8 leggere min

Basi di datiL'Ascesa dei Database a Grafi nella gestione dei dati

Scopri come i database a grafo trasformano l'archiviazione dei dati e le relazioni.

Veronica Santos, Bruno Cuconato

2025-02-02T02:46:03+00:00 ― 5 leggere min

Apprendimento automaticoGrafi di Conoscenza Personalizzati: APEX Scatenato

Scopri come APEX personalizza la conoscenza per gli interessi degli utenti in evoluzione.

Zihao Li, Dongqi Fu, Mengting Ai

2025-01-29T13:42:09+00:00 ― 6 leggere min

Logica nell'informaticaSviluppi nei provatori di teoremi interattivi

Scopri come HOLALA migliora l'efficienza della prova nella dimostrazione di teoremi interattivi.

Shuai Wang

2025-01-18T09:40:03+00:00 ― 6 leggere min