Tatiana Belova — accepted AI-conference papers

2026

Structural Approach to Guiding a Present-Biased Agent

Tatiana Belova, Yuriy Dementiev, Artur Ignatiev, Danil Sagunov

AAAI 2026technical

Time-inconsistent behavior, such as procrastination or abandonment of long-term goals, arises when agents evaluate immediate outcomes disproportionately higher than future ones. This leads to globally suboptimal behavior, where plans are frequently revised or abandoned entirely. In the influential m

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov +5

AAAI 2025technical

We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗