From benchmarkcentric to humancentric: deep learning methods in the formalisation of mathematics
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Angeliki KoutsoukouArgyraki.
A flurry of deep learning for mathematics advances have been made in recent years. However, disproportionally little adoption of deep learning is seen in the practice of formal mathematics. I will argue against the benchmarkcentric mindset prevalent in the deep learning community, and present works that build on and enhance human experiences of formal mathematics.
This talk is part of the Formalisation of mathematics with interactive theorem provers series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
