Artigos mais recentes para Ciência da Computação

Apresentando uma forma eficiente de otimizar a memória para LLMs sem perder desempenho.

Descubra aspectos intrigantes do problema de Furstenberg e suas implicações.

Uma nova abordagem melhora a avaliação de relacionamentos dinâmicos usando redes de Petri.

Um novo método melhora a verificação de software usando Linguagens de Precedência de Operadores e SMT.

Este artigo apresenta um novo domínio sub-poliédrico para otimizar compiladores de aprendizado de máquina.

Um framework pra avaliar contêineres de gráfico e seu desempenho em algoritmos.

Novos métodos melhoram a eficiência em identificar comunidades dentro de gráficos em evolução.

Identidades de fonte conectam várias áreas da matemática e melhoram a compreensão de sistemas complexos.

Aprenda sobre coberturas de strings e sua importância na gestão de dados.

Um olhar sobre portas quânticas, circuitos e correção de erros na computação quântica.

Analisando ciclos de zero-delay e estratégias de coordenação para sistemas distribuídos eficientes.

Apresentando um eDSL para o desenvolvimento eficiente de sistemas de prova de zero conhecimento.

Um novo sistema melhora o checkpoint e a restauração da GPU para um desempenho melhor.

Novos conceitos em largura de grafos melhoram a análise e as aplicações em várias áreas.

Explorando a conexão entre lógica de separação e segurança criptográfica através da independência.

Explorando a eficiência dos autômatos saltadores e suas medidas de custo.

Conjuntos livres ajudam a organizar gráficos plano sem cruzamentos de arestas.

Esse artigo fala sobre a verificação de skiplists sem bloqueio em sistemas concorrentes.

Analisar erros de arredondamento pode melhorar a precisão de cálculos com baixa precisão.

Um novo método pra aproximação de funções em espaços curvados complexos.

Explorando distribuições uniformes limitadas e de pequeno viés na pesquisa sobre pseudorandomicidade.

Este artigo fala sobre como garantir a segurança de contratos inteligentes através de um sistema de tipos focado na integridade.

Explorando como a IR melhora ferramentas de análise estática e a qualidade do software.

Uma visão geral dos conceitos principais em teoria dos grafos e sua relevância.

O GNN-Diff melhora a eficiência e o desempenho do treinamento de GNN otimizando os hiperparâmetros.

Uma nova abordagem para encontrar conjuntos independentes em grafos usando qualquer configuração inicial.

Novas técnicas melhoram o corte de bolo sem inveja entre vários participantes.

Descobre como os agentes de IA aprendem a mandar bem nos jogos da Atari usando aprendizado por reforço.

O GTM melhora a velocidade e a qualidade da renderização 3D para cenas dinâmicas.

Um novo método acelera significativamente a detecção de graphlets em redes complexas.

Esse artigo destaca as dificuldades na extração de circuito e comparação de diagramas no cálculo ZH.

Analisando novos desenvolvimentos em ferramentas para verificar sistemas complexos.

Uma visão geral das abordagens clássicas e quânticas para a confiabilidade de redes.

O MotionCraft cria vídeos realistas usando física sem precisar de muito treinamento.

Novos métodos enfrentam o desafio do esquecimento catastrófico no aprendizado de IA.

Apresentando o ProCo, um método pra melhorar a autocorreção em modelos de linguagem grandes.

Explore as propriedades únicas das quarticas planas e suas conexões na matemática.

Explorando um framework pra entender o conhecimento entre vários agentes na lógica modal.

MuDreamer melhora o aprendizado do agente ao focar na previsão em vez de reconstrução de imagens.

Uma nova abordagem pra entender redes em evolução através de modelagem autoregressiva.