Ricerca — pagina 2
Ricerca
arXiv cs.AI
16 lug, 16:36
SPINE: l'AI agente che installa i robot al posto tuo
Un team di ricerca ha sviluppato SPINE, un framework basato su agenti AI capace di configurare e mettere in funzione robot bimanuali senza richiedere competenze specialistiche in robotica. Il sistema supera in efficacia persino operatori esperti, portando il tasso di successo al 100%. È un passo concreto verso la democratizzazione dell'Embodied AI.
Ricerca
arXiv cs.AI
16 lug, 16:36
LLM: ragionano davvero o fingono di farlo?
Un nuovo metodo chiamato 'interventional grounding audits' permette di verificare se i modelli di linguaggio come GPT-4o ragionano davvero in base alle premesse fornite o producono risposte corrette per le ragioni sbagliate. La tecnica, testata su GPT-4o, ha raggiunto un F1 di 0.806 nel rilevare dipendenze logiche reali. Il 66% dei problemi risolti correttamente nascondeva almeno un passaggio di ragionamento non genuinamente ancorato alle premesse.
Ricerca
arXiv cs.AI
15 lug, 10:07
IA che impara dal contesto senza aggiornarsi: la sfida del mondo reale
Un nuovo studio sistematizza il campo dell'in-context reinforcement learning in ambienti non stazionari, dove le regole del gioco cambiano durante il deployment. La sfida è costruire agenti capaci di adattarsi usando solo ciò che vedono nel contesto, senza modificare i propri parametri. Un problema cruciale per chi vuole portare l'IA in produzione.
Ricerca
arXiv cs.AI
15 lug, 10:07
Market making su futures perpetui: arriva la formula matematica
Un team di ricercatori ha sviluppato un framework teorico rigoroso per ottimizzare le strategie di market making sui mercati di futures perpetui decentralizzati. Il modello affronta la complessità di gestire spread, inventario e hedging simultaneamente, introducendo una formula universale per stimare l'APY raggiungibile. Il lavoro unifica e aggiorna i principali paradigmi classici della microstruttura dei mercati finanziari.
Ricerca
arXiv cs.AI
15 lug, 10:07
AI sovrana per le banche: distillazione ontologica e audit
Un nuovo studio combina due tecniche per portare modelli linguistici avanzati dentro il perimetro delle istituzioni finanziarie regolamentate. I risultati sono promettenti ma onesti: nessuna superiorità dimostrata, ma un percorso metodologico concreto. Il valore sta nel framework, non nelle performance.
Ricerca
arXiv cs.AI
15 lug, 10:06
RL per serre intelligenti: arriva l'audit dei reward
Un nuovo framework propone un metodo riproducibile per analizzare e confrontare le singole componenti della funzione di reward nei sistemi di controllo climatico basati su reinforcement learning. L'approccio è pensato per serre intelligenti e si integra con simulatori e dati reali. L'obiettivo è rendere le decisioni automatizzate più trasparenti e verificabili.
Ricerca
arXiv cs.AI
13 lug, 09:26
Reti neurali più sicure: certificare la robustezza con i reticoli
Un nuovo framework teorico affronta il problema della robustezza avversariale nelle reti neurali multistrato, riducendolo a un problema di attraversamento di reticoli matematici. Lo studio introduce due tipologie di certificazione degli intervalli e dimostra risultati asimmetrici sorprendenti in termini di complessità computazionale. Viene anche presentato un sistema empirico chiamato ParallelepipedoNN per validare l'approccio.
Ricerca
arXiv cs.AI
13 lug, 09:26
LLM più affidabili: la chiave è il controllo, non la potenza
Un nuovo studio sfida l'idea che i fallimenti dei modelli linguistici dipendano dalla loro capacità computazionale. La ricerca dimostra che strutturare meglio il contesto e il processo di inferenza riduce drasticamente errori e comportamenti imprevedibili. L'architettura CogniConsole è la proposta concreta messa sul tavolo.