arxiv-2511.14435-watchdogs-oracles.md

Runtime verification × LLMs vision paper