Agentes de Compreensão de Código

Estruturas de raciocínio semi-formal guiam os prompts de agentes LLM em torno de premissas explícitas, execution traces e conclusões formais. O objetivo é analisar a semântica de código sem a necessidade de executar programas. Este método inovador aprimora significativamente o desempenho em benchmarks de verificação de patches, localização de falhas e garantia de qualidade (QA) de código.