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
- A.I. Is Coming for Mathematics, Too - The New York Times https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html 111 comments
- 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.