Heidi Schmidt

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jan 06, 2026
Optimizing Large Language Models for Automated Protocoling of Abdominal and Pelvic CT Scans: The Power of Context.

Bryan W Buckley, Adriano B Dias, Yangqing Deng

Pageof 1

Frequent Collaborators

1 joint publications

Bryan W Buckley

1 joint publications

Adriano B Dias

1 joint publications

Yangqing Deng

1 joint publications

Ania Kielar