High-Throughput Lean 4 Autoformalization Model for Local Inference (meshapplied.com) 1 points by matteohorvath 2mo ago ↗ HN
[–] westurner 2mo ago ↗ There's not yet a Lean Mathlib signals library?Is that a good use case for autoformalization?
1 comment
[ 2.3 ms ] story [ 15.1 ms ] threadIs that a good use case for autoformalization?