Método de IA usa consistência de soluções para acelerar MILP
Um novo método de aprendizado de máquina acelera a resolução de problemas MILP prevendo a consistência entre soluções iniciais e finais, com reduções de até 56,9% no gap primal.
Modelo Estatístico Cardíaco Aberto Completa 11 Estruturas em CT com IA
Um modelo estatístico aberto para completamento cardíaca em CT, liberado em 2026, atinge erro de 3.7 mm e facilita a unificação de dados de pesquisa.
Novo framework usa dinâmica de spikes para controle bayesiano em IA
Novo paper propõe framework de controle bayesiano usando dinâmica de spikes, inspirada em neurônios, para operar em ambientes incertos. Estudo valida modelo no benchmark 'mountain car'.
Brain Researcher: IA Agêntica com Rigor Analítico para Neuroimagem
A plataforma Brain Researcher aumenta a precisão de agentes de IA em análises de neuroimagem em 70,2 pontos percentuais, incorporando rigor metodológico ao workflow científico.
EXIMO: Algoritmo de IA reduz dados para treinar robôs em novas tarefas
Pesquisadores publicaram o EXIMO, algoritmo em três etapas que reduz a necessidade de dados coletados por humanos para treinar robôs em novas tarefas. O método combina planejamento por VLM com reinforcement learning residual.
Novo DSL Axon elimina lock-in de frameworks em arquiteturas de LLMs
Axon é uma nova linguagem DSL que compila arquiteturas de LLMs para PyTorch, JAX, MLX e vLLM — com ganhos de até 107% de speedup e sem lock-in em frameworks.
TESTNAV: Framework Usa Otimização Pareto para Testes de Robustez em IA
Framework TESTNAV usa otimização Pareto para acelerar testes de robustez em modelos de IA, identificando falhas reais com até 2,15x mais eficiência.
EnvHarness: ferramenta cria ambientes dinâmicos para treinar IAs agentes
Nova camada programável chamada EnvHarness adapta automaticamente ambientes estáticos para treinar IAs agentes, superando métodos tradicionais em benchmarks com ganho de até 9,0 pontos de desempenho.
PolicyGuide: método garante conformidade de agentes LLM com políticas organizacionais
Novo método chamado PolicyGuide aumenta de 48% a conformidade de agentes LLM com políticas de empresas ao compilar regras em grafos de workflow e usar um verificador proativo, funcionando com GPT-5, Claude e Gemini.
SAPO: novo método de RL reduz custo em 33% e supera PPO no treino de LLMs
Novo framework SAPO supera PPO em 15.1 pontos percentuais no treino de LLMs, elimina modelo critic separado e reduz tempo de execução em 33.2%.