Research author

Shuanglong Kan

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Shuanglong Kan

Jul 7, 2026
cs.FL

Harnessing Code Agents for Automatic Software Verification

Shuangxiang Kan, Shuanglong Kan, Sebastian Ertel

Shuanglong Kan — AI Research Papers | One9Founders