A Second-Order System for Polytime Reasoning Using Graedel's Theorem. - Stephen A. Cook; Antonina Kolokolova (LICS, 2001)

A second-order system for polynomial-time reasoning based on Graedel's theorem - Stephen A. Cook; Antonina Kolokolova (Electron. Colloquium Comput. Complex., 2001)

A second-order system for polytime reasoning based on Grädel's theorem. - Stephen A. Cook; Antonina Kolokolova (Ann. Pure Appl. Log., 2003)

A Second-Order Theory for NL. - Stephen A. Cook; Antonina Kolokolova (LICS, 2004)

Closure Properties of Weak Systems of Bounded Arithmetic. - Antonina Kolokolova (CSL, 2005)

Systems of bounded arithmetic from descriptive complexity. - Antonina Kolokolova (2005)

Many Facets of Complexity in Logic. - Antonina Kolokolova (CiE, 2008)

An axiomatic approach to algebrization. - Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (STOC, 2009)

On the Complexity of Model Expansion. - Antonina Kolokolova; Yongmei Liu 001; David G. Mitchell; Eugenia Ternovska (LPAR (Yogyakarta), 2010)

Expressing versus Proving: Relating Forms of Complexity in Logic. - Antonina Kolokolova (J. Log. Comput., 2012)

Compression of Boolean Functions. - Valentine Kabanets; Antonina Kolokolova (Electron. Colloquium Comput. Complex., 2013)

Approximating solution structure of the Weighted Sentence Alignment problem. - Antonina Kolokolova; Renesa Nizamee (CoRR, 2014)

Tighter Connections between Derandomization and Circuit Lower Bounds. - Marco Carmosino; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (APPROX-RANDOM, 2015)

Mining Circuit Lower Bound Proofs for Meta-Algorithms. - Ruiwen Chen; Valentine Kabanets; Antonina Kolokolova; Ronen Shaltiel; David Zuckerman (Comput. Complex., 2015)

Complexity of alignment and decoding problems: restrictions and approximations. - Noah Fleming; Antonina Kolokolova; Renesa Nizamee (Mach. Transl., 2015)

Learning Algorithms from Natural Proofs. - Marco L. Carmosino; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (CCC, 2016)

Expander Construction in VNC1. - Sam Buss; Valentine Kabanets; Antonina Kolokolova; Michal Koucký 001 (Electron. Colloquium Comput. Complex., 2016)

Algorithms from Natural Lower Bounds. - Marco L. Carmosino; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (Electron. Colloquium Comput. Complex., 2016)

Complexity Barriers as Independence. - Antonina Kolokolova (The Incomputable, 2017)

Agnostic Learning from Tolerant Natural Proofs. - Marco L. Carmosino; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (APPROX-RANDOM, 2017)

Expander Construction in VNC1. - Sam Buss; Valentine Kabanets; Antonina Kolokolova; Michal Koucký 001 (ITCS, 2017)

Stabbing Planes. - Paul Beame; Noah Fleming; Russell Impagliazzo; Antonina Kolokolova; Denis Pankratov; Toniann Pitassi; Robert Robere (Electron. Colloquium Comput. Complex., 2017)

Does Looking Inside a Circuit Help? - Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova; Pierre McKenzie; Shadab Romani (Electron. Colloquium Comput. Complex., 2017)

The Proof Complexity of SMT Solvers. - Robert Robere; Antonina Kolokolova; Vijay Ganesh 001 (CAV (2), 2018)

Compression Improves Image Classification Accuracy. - Nnamdi Ozah; Antonina Kolokolova (Canadian AI, 2019)

AC0[p] Lower Bounds Against MCSP via the Coin Problem. - Alexander Golovnev; Rahul Ilango; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova; Avishay Tal (ICALP, 2019)

AC0[p] Lower Bounds against MCSP via the Coin Problem. - Alexander Golovnev; Rahul Ilango; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova; Avishay Tal (Electron. Colloquium Comput. Complex., 2019)

Completeness for First-order Properties on Sparse Structures with Algorithmic Applications. - Jiawei Gao 001; Russell Impagliazzo; Antonina Kolokolova; Ryan Williams 001 (ACM Trans. Algorithms, 2019)

GANs & Reels: Creating Irish Music using a Generative Adversarial Network. - Antonina Kolokolova; Mitchell Billard; Robert Bishop; Moustafa Elsisy; Zachary Northcott; Laura Graves; Vineel Nagisetty; Heather Patey (CoRR, 2020)

Lifting for Constant-Depth Circuits and Applications to MCSP. - Marco Carmosino; Kenneth Hoover; Russell Impagliazzo; Valentine Kabanets; Antonina Kolokolova (ICALP, 2021)

On the Hierarchical Community Structure of Practical Boolean Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (SAT, 2021)

On the Hierarchical Community Structure of Practical SAT Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (CoRR, 2021)

Learning with distributional inverters. - Eric Binnendyk; Marco Carmosino; Antonina Kolokolova; Ramyaa Ramyaa; Manuel Sabin (CoRR, 2021)

LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. - Marco Carmosino; Valentine Kabanets; Antonina Kolokolova; Igor C. Oliveira 001 (Electron. Colloquium Comput. Complex., 2021)

Learning with Distributional Inverters. - Eric Binnendyk; Marco Carmosino; Antonina Kolokolova; R. Ramyaa; Manuel Sabin (ALT, 2022)

Creating Diverse Ensembles for Classification with Genetic Programming and Neuro-MAP-Elites. - Kyle L. Nickerson; Antonina Kolokolova; Ting Hu 001 (EuroGP, 2022)

Banksformer: A Deep Generative Model for Synthetic Transaction Sequences. - Kyle L. Nickerson; Terrence S. Tricco; Antonina Kolokolova; Farzaneh Shoeleh; Charles Robertson; John Hawkin; Ting Hu 001 (ECML/PKDD (6), 2022)

Limits of CDCL Learning via Merge Resolution. - Noah Fleming; Vijay Ganesh 001; Antonina Kolokolova; Chunxiao Li 002; Marc Vinyals (Electron. Colloquium Comput. Complex., 2023)

Provability of the Circuit Size Hierarchy and Its Consequences. - Marco Carmosino; Valentine Kabanets; Antonina Kolokolova; Igor Carboni Oliveira; Dimitrios Tsintsilidas (Electron. Colloquium Comput. Complex., 2024)

Personalized Classifier Selection for EEG-Based BCIs. - Javad Rahimipour Anaraki; Antonina Kolokolova; Tom Chau (Comput., 2024)

Chain Rules for Time-Bounded Kolmogorov Complexity. - Valentine Kabanets; Antonina Kolokolova (Electron. Colloquium Comput. Complex., 2025)