27 artigos
Este trabalho apresenta uma versão aprimorada da biblioteca `JoinActors` para Scala 3, que oferece uma implementação modular e metaprogramada de padrões de junção com sintaxe intuitiva, permitindo a comparação sistemática de algoritmos de correspondência que resultam em desempenho significativamente superior sem comprometer a semântica original.
Este artigo apresenta uma técnica eficiente e de baixo custo computacional para selecionar um subconjunto de anotações de tipo derivadas por inferência em programas com tipagem gradual, visando mitigar a degradação de desempenho e manter tempos de compilação estáveis, conforme validado experimentalmente no Reticulated Python.
O artigo apresenta o iScript, um modelo de linguagem adaptado ao domínio de design físico e um benchmark correspondente, que superam os modelos de linguagem gerais na geração de scripts Tcl para o EDA ao utilizar um pipeline de síntese de dados multiestágio e uma estratégia de treinamento em duas etapas para mitigar a escassez de dados e garantir alta confiabilidade.
Este trabalho apresenta a linguagem SCORE e demonstra, com auxílio de um assistente de prova, como interpretar suas operações de pilha como bijeções totais, permitindo que todos os termos do modelo computacional sejam vistos como bijeções totais em vez de parciais.
Este artigo introduz uma nova teoria equacional para o cálculo I baseada em "árvores Ohana", que preservam variáveis livres ocultas ou infinitas, e demonstra a compatibilidade dessa igualdade através de aproximações de programas, expansões de Taylor e um modelo denotacional não idempotente generalizado.
O artigo apresenta a "raciocínio de código semi-formal", uma metodologia estruturada que permite a agentes de LLM analisar e verificar semântica de código sem execução, demonstrando ganhos consistentes de precisão em tarefas como verificação de patches, localização de falhas e resposta a perguntas sobre código.
O artigo apresenta o SpotIt+, uma ferramenta de código aberto que avalia sistemas Text-to-SQL verificando a equivalência de consultas através da geração de instâncias de banco de dados diferenciadas, utilizando um pipeline inovador que combina mineração de regras e validação por LLMs para garantir que as discrepâncias encontradas reflitam restrições práticas e relevantes.