@misc{indiciaeba579e030f11,
  title = {Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization},
  author = {Bálint Gyevnár and Simon DeDeo},
  year = {2026},
  url = {https://arxiv.org/abs/2611.06995},
  note = {Source identifier: 2611.06995}
}