VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus

O artigo apresenta o VeriStruct, um novo quadro de trabalho que estende a verificação automatizada assistida por IA para módulos de estruturas de dados complexos em Verus, utilizando um planejador para gerar especificações e um mecanismo de reparo para corrigir erros de sintaxe, alcançando uma taxa de sucesso de 99,2% na verificação de funções em módulos Rust.

Chuyue Sun, Yican Sun, Daneshvar Amrollahi + 5 more2026-03-04🤖 cs.AI

CASR-Net: An Image Processing-focused Deep Learning-based Coronary Artery Segmentation and Refinement Network for X-ray Coronary Angiogram

O artigo apresenta o CASR-Net, uma rede de aprendizado profundo de três estágios que combina pré-processamento avançado, um codificador DenseNet121 e um decodificador Self-ONN para realizar a segmentação e refinamento precisos de artérias coronárias em angiogramas, superando modelos existentes e oferecendo uma ferramenta robusta para auxiliar no diagnóstico clínico.

Alvee Hassan, Rusab Sarmun, Muhammad E. H. Chowdhury + 4 more2026-03-04🤖 cs.AI

Adversarial Spatio-Temporal Attention Networks for Epileptic Seizure Forecasting

O artigo apresenta o STAN, uma rede de atenção espaciotemporal adversarial que alcança desempenho de ponta na previsão de crises epilépticas ao modelar dinamicamente a conectividade cerebral e as variações temporais, permitindo detecção precoce e confiável com baixa taxa de falsos alarmes e eficiência computacional para implantação em tempo real.

Zan Li, Kyongmin Yeo, Wesley Gifford + 3 more2026-03-04🤖 cs.AI

Are We Asking the Right Questions? On Ambiguity in Natural Language Queries for Tabular Data Analysis

Este artigo propõe uma nova estrutura que reinterpreta a ambiguidade em consultas de linguagem natural para análise de dados tabulares como um recurso de interação cooperativa entre usuário e sistema, distinguindo consultas cooperativas de não cooperativas para orientar o design e a avaliação mais precisos de interfaces futuras.

Daniel Gomm, Cornelius Wolff, Madelon Hulsebos2026-03-04💬 cs.CL

Q-BERT4Rec: Quantized Semantic-ID Representation Learning for Multimodal Recommendation

O artigo apresenta o Q-BERT4Rec, um novo framework de recomendação sequencial multimodal que supera as limitações dos métodos baseados em IDs discretos ao unificar a injeção de semântica multimodal, a quantização vetorial residual e estratégias de pré-treinamento com máscaras múltiplas para gerar representações de itens mais interpretáveis e generalizáveis.

Haofeng Huang, Ling Gai2026-03-04🤖 cs.AI

Comparing AI Agents to Cybersecurity Professionals in Real-World Penetration Testing

Este estudo apresenta a primeira avaliação abrangente de agentes de IA contra profissionais de cibersegurança em um ambiente empresarial real, demonstrando que o novo framework ARTEMIS superou a maioria dos participantes humanos na descoberta de vulnerabilidades com maior eficiência de custos, embora ainda enfrente desafios relacionados a falsos positivos e tarefas baseadas em interface gráfica.

Justin W. Lin, Eliot Krzysztof Jones, Donovan Julian Jasper + 10 more2026-03-04🤖 cs.AI