Four papers co-authored by Robertljg on Lean formal verification are accepted to the ICML 2026 workshops