High-Throughput Lean 4 Autoformalization Model for Local Inference(meshapplied.com)
3 pointsby matteohorvath12 hours ago1 comment
  • westurner2 hours ago
    There's not yet a Lean Mathlib signals library?

    Is that a good use case for autoformalization?