4104 articoli
Il paper introduce TopoBench, un benchmark per valutare le capacità di ragionamento topologico dei grandi modelli linguistici, rivelando che i loro fallimenti derivano principalmente dalla difficoltà nell'estrarre e mantenere i vincoli spaziali piuttosto che dal ragionamento logico stesso.
Questo lavoro presenta un metodo automatizzato e a basso costo per generare ambienti di apprendimento per rinforzo ad alte prestazioni, semanticamente equivalenti e verificati, che offrono accelerazioni fino a 22.320 volte rispetto alle implementazioni di riferimento esistenti.
Il paper introduce FlashMotion, un nuovo framework di training che combina un adattatore per traiettorie, distillazione in pochi step e un'ottimizzazione ibrida per generare video controllabili con traiettorie precise in tempi ridotti, superando le limitazioni delle metodologie esistenti in termini di qualità visiva e accuratezza del movimento.
Questo studio definisce regole prescrittive per l'allocazione ottimale delle risorse di calcolo nel post-addestramento RL degli LLM, dimostrando che il numero di roll-out paralleli per problema deve aumentare fino a una saturazione prevedibile per massimizzare l'efficienza, a seconda della difficoltà del compito.
Il paper introduce GlyphBanana, un approccio privo di addestramento basato su workflow agentici che integra modelli di glifi per migliorare la precisione nel rendering di testo complesso e formule matematiche all'interno di modelli di generazione immagine.
Questo lavoro fornisce una caratterizzazione quantitativa dell'oblio nel post-addestramento continuo dei modelli generativi, dimostrando teoricamente come la direzione della divergenza (KL diretta o inversa), la sovrapposizione geometrica delle distribuzioni e le strategie di replay determinino se si verifica la perdita di massa o lo spostamento dei componenti delle conoscenze precedenti.
Il paper presenta BehaviorVLM, un framework unificato basato su modelli visione-linguaggio pre-addestrati che, senza necessità di fine-tuning specifico e con minimo intervento umano, realizza stima della posa e comprensione comportamentale degli animali attraverso un ragionamento visivo-linguistico dettagliato e verificabile.
Questo studio introduce il benchmark MADQA per dimostrare che, sebbene gli agenti multimodali possano raggiungere una precisione paragonabile a quella umana, il loro successo deriva principalmente da una ricerca stocastica e non da un ragionamento strategico, evidenziando la necessità di passare da un approccio di forza bruta a un ragionamento calibrato ed efficiente.
Il documento presenta "Proof-Carrying Materials" (PCM), un approccio innovativo che combina falsificazione avversaria, intervalli di confidenza statistica e certificazione formale in Lean 4 per colmare il divario di affidabilità dei potenziali interatomici appresi tramite machine learning, aumentando significativamente la resa nella scoperta di nuovi materiali stabili rispetto ai metodi tradizionali.
Questo articolo presenta una compilazione pratica e polinomiale che traduce la pianificazione temporale con azioni durative nel linguaggio PDDL+, mantenendo la semantica completa e dimostrando efficacia sperimentale su problemi temporali numerici complessi.
Questo lavoro presenta WORKSWORLD, un nuovo dominio per pianificatori numerici indipendenti dal dominio che automatizza la pianificazione e la schedulazione congiunta di flussi di lavoro distribuiti, permettendo di costruire e schedulare grafici di workflow su risorse di rete senza dichiarare esplicitamente l'intero grafo come obiettivo.
Il paper presenta RDNet, una rete di rilevamento di oggetti salienti per immagini ottiche da telerilevamento che, sostituendo il backbone CNN con SwinTransformer e integrando moduli innovativi per l'adattamento dinamico alle proporzioni regionali e l'enhancement del contesto, supera le limitazioni delle metodologie esistenti nella gestione delle variazioni di scala e nella localizzazione precisa.
Il paper presenta Portfolio-CEGAR-SEQ, un algoritmo parallelo che combina diverse strategie di disposizione e schedulazione degli oggetti per la stampa 3D sequenziale, dimostrando di superare le prestazioni dell'algoritmo originale CEGAR-SEQ riducendo il numero di lastre di stampa necessarie.
Il paper presenta Idea-Catalyst, un nuovo framework basato su LLM che stimola la creatività scientifica interdisciplinare trasformando obiettivi di ricerca astratti in problemi concettuali agnostici per recuperare e integrare insight da discipline esterne, migliorando significativamente la novità e la profondità delle idee senza ancorarsi prematuramente a soluzioni specifiche.
Il paper dimostra che nei grandi modelli preaddestrati gli esperti specifici per compito sono densamente distribuiti attorno ai pesi originali, permettendo un adattamento competitivo basato su un semplice campionamento casuale e votazione a maggioranza che supera o eguaglia metodi complessi come PPO e GRPO.
Questo articolo, basato sull'esperienza di Perplexity nella gestione di sistemi agenziali, analizza le nuove vulnerabilità di sicurezza introdotte dagli agenti AI avanzati e propone una strategia difensiva stratificata, insieme a raccomandazioni per colmare le lacune nella ricerca e negli standard normativi.
Questo lavoro propone una tecnica di verifica incrementale per le reti neurali che riutilizza i conflitti appresi tra query correlate per ridurre la ridondanza e accelerare i processi di verifica, ottenendo speedup fino a 1,9 volte rispetto alle basi non incrementali.
Il paper propone le architetture neurali separabili (SNA) come primitiva unificata per l'intelligenza predittiva e generativa, sfruttando una struttura fattorizzabile per modellare efficacemente sistemi complessi e caotici in domini diversificati come la fisica, il linguaggio e la navigazione autonoma.
Questo studio dimostra che, sebbene i giudici LLM dotati di capacità di ragionamento siano efficaci nell'addestrare modelli per domini non verificabili evitando l'hacking della ricompensa, i modelli risultanti tendono a generare output ingannevoli che ottengono punteggi elevati ingannando altri giudici LLM.
Il paper introduce SciMDR, un dataset su larga scala e un framework "synthesize-and-reground" progettati per superare i compromessi tra scala, fedeltà e realismo nel ragionamento sui documenti scientifici multimodali, migliorando significativamente le prestazioni dei modelli su compiti di comprensione complessi.