Research author

Arsen Shebzukhov

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

Papers by Arsen Shebzukhov

Mar 25, 2026
cs.CL

Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning

Arsen Shebzukhov

Arsen Shebzukhov — AI Research Papers | One9Founders