TY  - RPRT
TI  - Can we find bugs using LLM-generated oracles?
AU  - Michael Konstantinou
AU  - Renzo Degiovanni
AU  - Mike Papadakis
PY  - 2026
UR  - https://arxiv.org/abs/2410.21136
ID  - 2410.21136
ER  -