TY  - RPRT
TI  - Back to Basics: Formal Analysis Hints Improve Weak-to-Strong Monitoring
AU  - Daniel Ben-Levi
AU  - Judah Goldfeder
AU  - Mateusz Dziemian
AU  - Raja Moreno
PY  - 2026
UR  - https://arxiv.org/abs/2610.34064
ID  - 2610.34064
ER  -