José A. Alonso (@jose_a_alonso) 's Twitter Profile
José A. Alonso

@jose_a_alonso

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

ID: 243227030

calendar_today26-01-2011 15:53:24

35,35K Tweet

4,4K Takipçi

3,3K Takip Edilen

José A. Alonso (@jose_a_alonso) 's Twitter Profile Photo
José A. Alonso
@jose_a_alonso

3 months ago

Lean Copilot: Large language models as copilots for theorem proving in Lean. ~ Peiyang Song, Kaiyu Yang, Anima Anandkumar. neus-2025.github.io/files/papers/p… #ITP #LeanProver #LLMs