Artigos cujos autores originais revisaram nossa explicação em linguagem simples.
Para cada artigo desta página, pelo menos um dos autores originais viu nossa explicação em linguagem simples e se envolveu com ela — confirmando a precisão ou solicitando correções que depois aplicamos. Uma confirmação não significa que os autores aprovem formalmente cada frase, mas que a explicação passou pelos olhos de quem escreveu o artigo.
1470 artigos revisados por autores · 1261–1270 / 1470
Este artigo demonstra que modelos de linguagem grandes sem treinamento, particularmente o DeepSeek-R1-32B usando prompting com poucos exemplos, podem classificar efetivamente commits convencionais a partir de diffs de código, oferecendo uma alternativa prática às abordagens tradicionais de aprendizado de máquina supervisionado.
Este artigo propõe Engenharia Estruturada Orientada por Especificações (SSDE), um paradigma que utiliza especificações estruturadas para superar as limitações de ambiguidade e qualidade dos prompts em linguagem natural, permitindo assim a geração de código de alta qualidade e verificável no nível do repositório.
Esta tese propõe um framework neuro-simbólico que integra uma ontologia estatutária, extração de regras e raciocínio baseado em solucionadores para garantir que as decisões automatizadas de elegibilidade para o CalFresh estejam alinhadas com as regras legais, permitindo assim uma responsabilização processual rastreável e contestável.
Este artigo analisa o algoritmo de Douglas-Rachford relaxado cíclico para problemas de viabilidade não convexos inconsistentes, caracterizando seus pontos fixos, relacionando suas sombras às do algoritmo de projeções cíclicas e estabelecendo condições para convergência quantitativa local.
Utilizando interferometria de pacotes de onda detectada por fluorescência em complexos individuais de captação de luz, pesquisadores revelaram que flutuações variáveis no tempo no ambiente proteico modulam as vias de relaxação de éxcitons ao alterar o acoplamento entre excitações eletrônicas e modos vibracionais de baixa frequência.
Este artigo apresenta um Teorema de Aniquilação de Coeficiente/Índice que deriva o -ésimo momento populacional de uma função definida em um grupo abeliano finito exclusivamente a partir de sua transformada de Fourier, demonstrando que o momento se expande em uma série onde os índices dos coeficientes contribuintes somam zero sob a adição do grupo.
Este artigo demonstra que uma simples U-Net vanilla supera modelos complexos baseados em atenção na desfaseamento de fase InSAR ao evitar artefatos de alta frequência não físicos, oferecendo assim maior precisão, velocidade e aderência a restrições geofísicas para sistemas de monitoramento operacional.
Este artigo propõe que mecanismos de produção não térmica, especificamente envolvendo reheatons de decaimento tardio em cenários de baixa temperatura de reaquecimento, podem superar naturalmente o déficit de abundância dos modelos de matéria escura de sexaquark térmicos ao vincular a densidade relic final à fração de ramificação em matéria rica em quarks estranhos e à probabilidade de coalescência durante o universo primordial.
Este artigo propõe um novo método simplex de pivoteamento por facetas para programação linear que demonstra promessa superior à abordagem tradicional de pivoteamento por vértice em testes numéricos, oferecendo nova esperança para a descoberta de um algoritmo de pivoteamento de tempo polinomial.
EntroLLM é um framework de compressão pós-treinamento que combina quantização mista com codificação de entropia para reduzir significativamente os requisitos de armazenamento e acelerar a inferência de modelos de linguagem grandes em dispositivos de borda sem retreinamento.