High-Throughput Lean 4 Autoformalization Model for Local Inference

4 points by matteohorvath 23 days ago | 1 comment

westurner 22 days ago |

There's not yet a Lean Mathlib signals library?

Is that a good use case for autoformalization?

westurner 22 days ago |

There's not yet a Lean Mathlib signals library?

Is that a good use case for autoformalization?