Invitation to Math-AI and Lean-Math-AI

          @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/index.php/icts-tifr/31593}}
          }