Saraiva, Lorenzo, E 		Haeusler, Edward.
" Quantum Verification of Compressed Proofs through DLDS-to-Circuit Compilation" <em>Anais do Simpósio Brasileiro de Computação e Comunicação Quânticas (SBCCQ)</em> [Online], (19 julho 2026)