Voltar aos Detalhes do Artigo Epi: An Epistemic Type System for Containing LLM Hallucination in Generated Code Baixar ##common.downloadPdf##