Georgie Levtsov

According to our database, Georgie Levtsov authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Smaller Circuits for Bit Addition.

Mikhail Goncharov, Alexander S. Kulikov, Georgie Levtsov

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

2025

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis.

Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025