Estimating Correctness Without Oracles in LLM-Based Code Generation. - Thomas Valentin; Ardi Madadi; Gaetano Sapia; Marcel Böhme (CoRR, 2025)