Igor Anureev

Identifiers

• name variant Igor Anureev 0.60 · backfill

Papers (1)

1. Partial Automation of Verification Condition Proving for Reflex Programs (Draft) cs.LO · 2026 · author #2

Mentions

• 2606.23377 #2 · arxiv_oai · confidence 0.70 Igor Anureev

Frequent Coauthors

• Artyom Ishchenko 1 shared papers