Articoli i cui autori originali hanno esaminato la nostra spiegazione divulgativa.
Per ogni articolo in questa pagina, almeno uno degli autori originali ha visto la nostra spiegazione divulgativa e se ne è occupato — confermandone l'accuratezza o richiedendo correzioni che abbiamo poi applicato. Una conferma non significa che gli autori approvino formalmente ogni frase, ma che la spiegazione è passata sotto gli occhi di chi ha scritto l'articolo.
1014 articoli verificati dagli autori · 811–820 / 1014
Questo articolo dimostra che i grandi modelli linguistici senza addestramento, in particolare DeepSeek-R1-32B utilizzando il prompting few-shot, possono classificare efficacemente i commit convenzionali dai diff del codice, offrendo un'alternativa pratica agli approcci tradizionali di apprendimento automatico supervisionato.
Questo documento propone l'Ingegneria Strutturata Guidata dalle Specifiche (SSDE), un paradigma che utilizza specifiche strutturate per superare l'ambiguità e i limiti qualitativi dei prompt in linguaggio naturale, consentendo così la generazione di codice di alta qualità e verificabile a livello di repository.
Questa tesi propone un framework neuro-simbolico che integra un'ontologia normativa, l'estrazione di regole e il ragionamento basato su solver per garantire che le decisioni automatizzate di ammissibilità per CalFresh siano allineate alle norme giuridiche, consentendo così una responsabilità procedurale tracciabile e contestabile.
Questo articolo analizza l'algoritmo di Douglas-Rachford rilassato ciclico per problemi di fattibilità non convessi inconsistenti caratterizzandone i punti fissi, collegando le loro ombre a quelle dell'algoritmo delle proiezioni cicliche e stabilendo condizioni per la convergenza quantitativa locale.
Utilizzando l'interferometria degli stati d'onda rilevata mediante fluorescenza su singoli complessi di raccolta della luce, i ricercatori hanno rivelato che le fluttuazioni variabili nel tempo dell'ambiente proteico modulano le vie di rilassamento degli eccitoni alterando l'accoppiamento tra le eccitazioni elettroniche e i modi vibrazionali a bassa frequenza.
Questo articolo presenta un Teorema di Annullamento del Coefficiente/Indice -esimo che deriva il momento della popolazione -esimo di una funzione definita su un gruppo abeliano finito esclusivamente dalla sua trasformata di Fourier, mostrando che il momento si espande in una serie in cui gli indici dei coefficienti contribuenti sommano a zero sotto l'addizione di gruppo.
Questo articolo dimostra che una semplice U-Net vanilla supera i complessi modelli basati sull'attenzione nella srotolamento di fase InSAR evitando artefatti ad alta frequenza non fisici, offrendo così maggiore accuratezza, velocità e conformità ai vincoli geofisici per i sistemi di monitoraggio operativo.
Questo articolo propone che i meccanismi di produzione non termici, che coinvolgono specificamente reheatoni a decadimento tardivo in scenari a bassa temperatura di re-riscaldamento, possano superare naturalmente il deficit di abbondanza dei modelli di materia oscura di ssexquark termici collegando la densità di relic finale alla frazione di diramazione in materia ricca di quark strani e alla probabilità di coalescenza durante l'universo primordiale.
Questo articolo propone un nuovo metodo del simplesso a pivot su facce per la programmazione lineare che, nei test numerici, mostra prospettive superiori rispetto all'approccio tradizionale a pivot su vertici, offrendo nuove speranze per la scoperta di un algoritmo di pivot a tempo polinomiale.
EntroLLM è un framework di compressione post-addestramento che combina quantizzazione mista e codifica entropica per ridurre significativamente i requisiti di archiviazione e accelerare l'inferenza dei grandi modelli linguistici su dispositivi edge senza necessità di riaddestramento.