Author

Jin-Song Dong

h-index 7 View on Semantic Scholar

We have 3 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

Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling

Large language models offer a promising interface for translating natural-language protocol descriptions into formal security models, but their outputs remain difficult to trust without expert validation. In this paper, we present a human-in-the-loop framework for generating Tamarin-verifiable formal models of security...

Si-Qi Li, Yu-Fan Cai, Hong-Shu Wang et al. · 0 citations

Preprint Sep 2026

Formal Model Construction Guided by Model-Based Proof Sketches

Proof-Sketch-Guided Formal Model Synthesis (ProGS), an autoformalization method centered on model-based proof sketches, which improves over state-of-the-art agentic formal modeling approaches in syntactic validity, deductive verifiability, and behavioral correctness.

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