vix.ing · top · new · best · stats

Max Springer

  1. Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
    2026/06/30 by Arshia Soltani Moakhar, Iman Gholami, Max Springer +2 · 1 voice · 1 citation
    Computer Science · #cs.AI
  2. The Geometry of Alignment Collapse: When Fine-Tuning Breaks Safety
    2026/02/17 by Max Springer, Chung Peng Lee, Blossom Metevier +5 · 1 voice
    Computer Science · #cs.AI #cs.LG