Author

Jin-Song Dong

h-index 7 View on Semantic Scholar

We have 2 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Formal Model Construction Guided by Model-Based Proof Sketches

Formal modeling provides strong guarantees about system correctness, but developing and repairing formal models remains labor-intensive and requires substantial expertise in logic and formal reasoning. Recent LLM-based autoformalization agents seek to reduce this burden by generating candidate formal models and revisin...

Hong-Shu Wang, Xin-Yue Zuo, Yu-Fan Cai et al. · 0 citations

#small language model Preprint Aug 2026

Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering

This work proposes AutoMedImg, a multi-agent framework for fully automated medical image processing code generation that achieves zero human intervention, with Dice scores of up to 0.90 for segmentation tasks and 99% accuracy for classification.

Zi-Xiao Zhao, Jing Sun, Zhe Hou et al. · 0 citations