M meshapplied.com High-Throughput Lean 4 Autoformalization Model for Local Inference 4 points matteohorvath 2 months ago 1 comments
