Yuxuan Zhai

1PUBLICATIONS
1CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Feb 17, 2025
Neural network powered microscopic system for cataract surgery.

Yuxuan Zhai, Chunsheng Ji, Yaqi Wang

Pageof 1

Frequent Collaborators

1 joint publications

Zhao Wang