Yutaka Nagashima (Dec 31 2024 at 13:48): Yutaka Nagashima (Dec 31 2024 at 13:48):Dear Isabelle users,
Towards the end of 2024, I began using AI avatars to create podcast-like videos about research papers on theorem proving, as well as topics related to AI/ML and programming languages.
Enjoy watching them here:
I also aim to present these podcasts in multiple languages to help overcome language barriers. While I take basic measures to accurately represent the work and avoid harmful or incorrect connotations, Japanese is my only native language. If you notice any problematic expressions, I would greatly appreciate your constructive feedback.
At the moment, I’m introducing papers that I co-authored as the lead author. If you have a peer-reviewed academic paper on theorem proving, and (AI, programming languages, computer architecture, or CPU design) that you would like included in the series, feel free to let me know.
Wishing you a happy New Year! :bamboo:
Yutaka
Last updated: Feb 01 2025 at 20:19 UTC