Terapia genica, Crispr diventa ancora più potente grazie all’Ai - la Repubblica
Terapia genica, Crispr diventa ancora più potente grazie all’Ai la Repubblica
Terapia genica, Crispr diventa ancora più potente grazie all’Ai la Repubblica
Benchmark rigorosi hanno guidato i progressi nell'ottimizzazione delle prestazioni del kernel della GPU autonoma stabilendo un obiettivo condiviso su cui scalare, ma non esiste un equivalente per i TPU. Presentiamo JAXBench, una suite di benchmark nativa per TPU per l'ottimizzazione del kernel generata dall'intelligenza artificiale su Google Cloud TPU. JAXBench comprende 50 carichi di lavoro JAX che sono rilevanti e offrono margine per l'ottimizzazione.
Sebbene la decodifica parallela sia fondamentale per l’efficienza dei Diffusion Large Language Models (dLLM), le strategie attuali sono spesso ostacolate da soglie di confidenza eccessivamente conservatrici. Queste soglie, rese necessarie dal Joint Probability Dependence Error (JPDE), determinano iterazioni di denoising ridondanti e velocità di inferenza non ottimali. Per superare questo problema, proponiamo DC-Leap, un framework esente da formazione che consente un'accelerazione affidabile dei dLLM nel regime di confidenza moderata.
I modelli linguistici di grandi dimensioni (LLM) vengono sempre più rilasciati come modelli a peso aperto con garanzie contro richieste dannose. Tuttavia, il completamento della frase rimane vulnerabile a suggerimenti dannosi incompleti. In questo lavoro, formalizziamo questo fenomeno come incomplete prompt jailbreak (IPJ) e forniamo una caratterizzazione empirica sistematica di quando e come i prompt incompleti suscitano continuazioni dannose.
Graph RAG mitiga le allucinazioni e le conoscenze obsolete nei LLM, in particolare per la risposta a domande multi-hop. Tuttavia, gli approcci esistenti rimangono altamente frammentati e incompatibili. L'eterogeneità strutturale dei formati grafici nei diversi framework e la mancanza di strumenti di visualizzazione granulari rendono estremamente difficile valutare e confrontare i comportamenti di recupero.
L'inferenza con prompt lungo rimane costosa perché l'attenzione precompilata scala quadraticamente con la lunghezza della sequenza. Proponiamo Spectral-LSH, un metodo di compressione del prompt senza formazione che opera prima che il prompt entri nel modello linguistico. Spectral-LSH approssima le componenti dominanti di un operatore implicito del kernel di attenzione utilizzando un metodo del sottospazio di Krylov insieme a caratteristiche casuali, evitando la materializzazione esplicita del kernel di attenzione $O(N^2)$.
Gli agenti LLM che utilizzano strumenti eseguono sempre più azioni ad alto impatto, rendendo essenziale il monitoraggio della sicurezza in fase di esecuzione. Presentiamo NEXUS (Neural EXecution Utility and Safety), un monitor di sicurezza a piano strutturato che applica una politica di intervento formale per selezionare tra quattro azioni: consentire, bloccare, richiedere conferma o richiedere revisione. NEXUS combina regole di sicurezza deterministiche, ispezione a livello di argomento e un punteggio di rischio di regressione logistica calibrato per un'escalation graduale.
La calibrazione è il criterio principale per valutare la confidenza LLM, ma è insufficiente: ammette stimatori banalmente incoerenti, dipende dalla distribuzione della valutazione e non verifica la misura in cui la stima può essere interpretata come una funzione di probabilità sottostante coerente. Ciò di cui abbiamo effettivamente bisogno è che le stime di confidenza LLM soddisfino le condizioni richieste per credenze probabilistiche coerenti.
Safety as Polytope (SaP) apprende i vincoli lineari di semispazio nello spazio nascosto LLM ma richiede l'ottimizzazione per categoria del conteggio dei vincoli K. Mostriamo che l'estrazione delle funzionalità di sparse autoencoder (SAE) risolve questo problema: K=2 diventa ottimale per 12/14 categorie su Qwen3.5-9B, ottenendo una precisione del 96-99% per categoria sul nostro benchmark di classificazione BeaverTails, eliminando in gran parte la necessità di scansioni esaustive (K=4-25 con random inizializzazione).
Quando i Large Language Models (LLM) vengono utilizzati per l'estrazione di dati semantici da testo non strutturato, producendo fatti relazionali candidati dal linguaggio naturale, possono rimanere inaffidabili per compiti che richiedono ragionamenti combinatori complessi e coerenza globale. Questo articolo propone un quadro di estrazione dei dati guidato dalla logica che combina l'estrazione basata su LLM con la programmazione di set di risposte (ASP). LLM produce fatti candidati, mentre ASP esegue validazione, inferenza, verifica di coerenza e controllo.
Digita almeno 2 caratteri
Questo sito utilizza cookie essenziali per il funzionamento e cookie di analisi per migliorare l'esperienza. Puoi accettare tutti, solo gli essenziali, o personalizzare. Cookie Policy | Privacy Policy