Research author

Sebastian Ertel

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

Papers by Sebastian Ertel

Jul 7, 2026
cs.FL

Harnessing Code Agents for Automatic Software Verification

Shuangxiang Kan, Shuanglong Kan, Sebastian Ertel

Sebastian Ertel — AI Research Papers | One9Founders