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