vix.ing · top · new · best · stats

Simon Chess

  1. Learning to Repair Lean Proofs from Compiler Feedback
    2026/02/03 by Evan Wang, Simon Chess, Daniel Lee +4 · 1 voice · 1 citation
    Computer Science · #cs.LG