Invitation to Math-AI and Lean-Math-AI
APA
(2025). Invitation to Math-AI and Lean-Math-AI. SciVideos. https://youtu.be/QiQq9oADHbI
MLA
Invitation to Math-AI and Lean-Math-AI. SciVideos, Apr. 26, 2025, https://youtu.be/QiQq9oADHbI
BibTex
@misc{ scivideos_ICTS:31593, doi = {}, url = {https://youtu.be/QiQq9oADHbI}, author = {}, keywords = {}, language = {en}, title = {Invitation to Math-AI and Lean-Math-AI}, publisher = {}, year = {2025}, month = {apr}, note = {ICTS:31593 see, \url{https://scivideos.org/icts-tifr/31593}} }
Ashvi Narayanan
Talk numberICTS:31593
Source RepositoryICTS-TIFR
Collection