Lyu He
Ph.D. Candidate, The University of Osaka, Supervised by Yuya Sasaki
Graduate School of Information Science and Technology
OnizukaLab
Multimedia Engineering, Information Technology Special Course in English (ITSCE)

lyuhe2000@gmail.com
lyu.he@ist.osaka-u.ac.jp

GitHub

Main Research Areas:
Verifiable Artificial Intelligence, Machine Learning Verification, Zero-Knowledge Proofs.

Last updated: April 2025