Zixing Wang

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 24, 2026
Automated Brief Hospital Course Summarization in Cardiac Surgery Using a Lightweight Large Language Model-Based Framework: Development and Evaluation Study on the Medical Information Mart for Intensive Care-IV.

Pageof 1

Frequent Collaborators

1 joint publications

Xiaoyuan Gao

1 joint publications

Yang Wang

1 joint publications

Jing Yuan

1 joint publications

Shengkang Huang