Kirill Levchenko

Identifiers

• name variant Kirill Levchenko 0.60 · backfill

Papers (1)

1. Verifier-Guided Code Translation via Meta-Step Decoding cs.LG · 2026 · author #4

Mentions

• 2605.17626 #4 · arxiv_oai · confidence 0.70 Kirill Levchenko

Frequent Coauthors

• Mihai Christodorescu 1 shared papers
• Somesh Jha 1 shared papers
• Tianyang Zhou 1 shared papers
• Varun Chandrasekaran 1 shared papers