Lobsters
- Half a year of the Liquid Tensor Experiment: Amazing developments https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/ 2 comments formalmethods, math
- Half a year of the Liquid Tensor Experiment: Amazing developments https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/ 28 comments math
Linking pages
- Completion of the Liquid Tensor Experiment | Lean community blog https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments
- Why AI Can’t Match Humans at Mathematics (yet!) | by Russell Lim | Nov, 2022 | Cantor’s Paradise https://medium.com/nice-math-problems/why-ai-cant-match-humans-at-mathematics-yet-3416116d4d15 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.
Related searches:
Search whole site: site:xenaproject.wordpress.com
Search title: Half a year of the Liquid Tensor Experiment: Amazing developments | Xena
See how to search.