10413 artigos
Este artigo propõe uma abordagem neuro-simbólica que integra Grandes Modelos de Linguagem (LLMs) com solucionadores de restrições para gerar lemas auxiliares e verificar conjecturas, demonstrando uma melhoria de cerca de 25% na resolução de tarefas de prova envolvendo definições indutivas em comparação com os solucionadores de última geração.
Este estudo empírico identifica quatro temas centrais — Governança de IA e Autoridade Humana, Refinamento Iterativo com Humano no Loop, Ciclo de Vida do Sistema e Restrições Operacionais, e Colaboração e Coordenação entre Humano e IA — por meio de uma análise qualitativa de um chatbot de suporte ao cliente e entrevistas com especialistas, visando orientar a estruturação de papéis e mecanismos de feedback no desenvolvimento de aplicações de IA.
O artigo apresenta o "Companion", um sistema artístico que integra um robô de desenho com modelos de linguagem grandes para facilitar uma colaboração criativa bidirecional por meio de fala e esboços, transformando o robô de um executor passivo em um parceiro co-criativo capaz de gerar obras com identidade estética distinta e mérito de exposição profissional.
Este estudo apresenta o ARC, uma ferramenta de pesquisa que, ao integrar múltiplas bases de dados e oferecer IA transparente para triagem, reduz a carga cognitiva dos pesquisadores e transforma o processo de Revisões Sistemáticas da Literatura de uma tarefa administrativa em uma exploração estratégica e verificável.
O artigo propõe o "Traversal-as-Policy", um método que distila logs de execução em Árvores de Comportamento Portãoizadas (GBTs) executáveis para substituir a geração livre de LLMs por uma política de controle verificável e segura, demonstrando melhorias significativas em taxas de sucesso, redução de violações e eficiência de custos em benchmarks como SWE-bench Verified e WebArena.
O artigo apresenta o RoboLayout, uma extensão do LayoutVLM que aprimora a geração de layouts de cenas 3D para agentes corporificados ao integrar restrições de alcançabilidade em um processo de otimização diferenciável e incluir uma etapa de refinamento local, permitindo a criação de ambientes semanticamente coerentes e fisicamente viáveis para diversos tipos de agentes.
Este artigo oferece uma revisão das representações moleculares digitais inspiradas no processamento de linguagem natural (NLP) e de suas aplicações em inteligência artificial para química e ciência dos materiais, servindo como um guia essencial para pesquisadores que buscam atuar na interseção desses campos.
O artigo apresenta o Omni-C, um único codificador denso baseado em Transformer que comprime modalidades heterogêneas (imagem, áudio e texto) em representações compartilhadas competitivas através de pré-treinamento contrastivo, eliminando a necessidade de arquiteturas complexas de Mixture-of-Experts e reduzindo significativamente o uso de memória para inferência eficiente.
O artigo apresenta o NGDBench, um benchmark unificado que avalia as capacidades de bancos de dados gráficos neurais em cinco domínios diversos, revelando limitações significativas nos modelos de linguagem atuais ao lidar com a linguagem de consulta Cypher completa e operações complexas de gerenciamento de dados.
Este estudo avalia o modelo de IA Boltz-2 para descoberta de fármacos e conclui que, embora ofereça velocidade para triagem inicial, carece da precisão energética necessária para a identificação de candidatos, exigindo métodos baseados em física para validação e refinamento.
O artigo propõe o JAWS, uma estratégia de regularização probabilística que ajusta adaptativamente a força da regularização com base na complexidade física local, permitindo que modelos de operadores neurais realizem rollouts de longo prazo estáveis e precisos em sistemas dinâmicos com descontinuidades, superando o dilema entre contração e dissipação e reduzindo os custos computacionais.
O artigo apresenta o VDCook, um sistema operacional de dados de vídeo autoevolutivo e configurável que permite a pesquisadores e equipes de domínio vertical gerar, atualizar e expandir continuamente conjuntos de dados especializados para MLLMs por meio de consultas em linguagem natural e síntese controlada.
Este artigo examina os desafios e oportunidades impostos pela rápida evolução da IA na interação humano-dados, destacando a necessidade de redefinir os papéis humanos e de máquina, superar limitações de escalabilidade e incerteza, e integrar princípios cognitivos e de design para construir sistemas analíticos centrados no ser humano na era da inteligência artificial.
O artigo apresenta o EigenData, uma plataforma multiagente autônoma e autoevolutiva que automatiza a síntese, auditoria e reparo de dados para chamadas de função, demonstrando sua eficácia ao corrigir sistematicamente o benchmark BFCL-V3 e introduzir métricas de avaliação baseadas no estado do banco de dados que melhor se correlacionam com julgamentos humanos de correção funcional.
Este artigo apresenta o Autoencoder de Koopman de Tempo Contínuo (CT-KAE) como um modelo substituto leve e estável para previsões oceânicas de longo prazo, demonstrando superioridade sobre baselines autoregressivos ao manter estatísticas de grande escala e crescimento de erro limitado em simulações de 2083 dias, enquanto oferece uma inferência ordens de magnitude mais rápida.
Este artigo investiga o problema de modificar conceitos de lógica descritiva (EL e ALC) com base em modelos representados como interpretações pontuadas, definindo formalmente os conceitos de evicção, recepção e revisão, e demonstrando que a revisão não se reduz a uma simples combinação das outras duas operações.
Este artigo propõe um modelo teórico que demonstra como a IA generativa, ao equalizar as diferenças de habilidades individuais, pode paradoxalmente ampliar a desigualdade agregada ao deslocar o valor econômico para ativos complementares concentrados, resultando em dois regimes distintos de desigualdade dependendo da estrutura tecnológica e das instituições do mercado de trabalho.
O artigo apresenta o CBR-to-SQL, um novo framework baseado em Raciocínio Baseado em Casos que supera as limitações dos métodos RAG tradicionais na tradução de linguagem natural para SQL no domínio da saúde, alcançando maior precisão lógica e eficiência amostral ao utilizar um processo de recuperação em duas etapas para lidar com a variabilidade da terminologia médica.
O artigo apresenta o PRISM, um método que integra Aprendizado por Imitação e Aprendizado por Reforço para refinar políticas robóticas genéricas em comportamentos específicos e robustos, utilizando descrições em linguagem natural e correções humanas durante o processo de treinamento.
O artigo apresenta o Tool-Genesis, um benchmark diagnóstico que avalia a capacidade de agentes de linguagem de criar e utilizar ferramentas a partir de requisitos abstratos, revelando que falhas iniciais em modelos de ponta se amplificam e degradam o desempenho em tarefas downstream.