@misc{indiciae1166d4afd582,
  title = {Back to Basics: Formal Analysis Hints Improve Weak-to-Strong Monitoring},
  author = {Daniel Ben-Levi and Judah Goldfeder and Mateusz Dziemian and Raja Moreno},
  year = {2026},
  url = {https://arxiv.org/abs/2610.34064},
  note = {Source identifier: 2610.34064}
}