Antonina Kolokolova

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 32

Top Topics

Agnostic Learning

Community Structure

Piecewise Planar

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Javad Rahimipour Anaraki, Antonina Kolokolova, Tom Chau
Personalized Classifier Selection for EEG-Based BCIs. Comput. 13 (7) (2024)
Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. CoRR (2023)
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. (2023)
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. SAT (2023)
Kyle L. Nickerson, Antonina Kolokolova, Ting Hu
Creating Diverse Ensembles for Classification with Genetic Programming and Neuro-MAP-Elites. EuroGP (2022)
Kyle L. Nickerson, Terrence S. Tricco, Antonina Kolokolova, Farzaneh Shoeleh, Charles Robertson, John Hawkin, Ting Hu
Banksformer: A Deep Generative Model for Synthetic Transaction Sequences. ECML/PKDD (6) (2022)
Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, R. Ramyaa, Manuel Sabin
Learning with Distributional Inverters. ALT (2022)
Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor Carboni Oliveira
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. FOCS (2022)
Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
Lifting for Constant-Depth Circuits and Applications to MCSP. ICALP (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas. SAT (2021)
Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, Ramyaa Ramyaa, Manuel Sabin
Learning with distributional inverters. CoRR (2021)
Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor Carboni Oliveira
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. FOCS (2021)
Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor Carboni Oliveira
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. Electron. Colloquium Comput. Complex. 28 (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas. CoRR (2021)
Antonina Kolokolova, Mitchell Billard, Robert Bishop, Moustafa Elsisy, Zachary Northcott, Laura Graves, Vineel Nagisetty, Heather Patey
GANs & Reels: Creating Irish Music using a Generative Adversarial Network. CoRR (2020)
Sam Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucký
. Ann. Pure Appl. Log. 171 (7) (2020)
Alexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Avishay Tal
[p] Lower Bounds Against MCSP via the Coin Problem. ICALP (2019)
Nnamdi Ozah, Antonina Kolokolova
Compression Improves Image Classification Accuracy. Canadian Conference on AI (2019)
Alexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Avishay Tal
AC0[p] Lower Bounds against MCSP via the Coin Problem. Electron. Colloquium Comput. Complex. 26 (2019)
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, Ryan Williams
Completeness for First-order Properties on Sparse Structures with Algorithmic Applications. ACM Trans. Algorithms 15 (2) (2019)
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
Stabbing Planes. ITCS (2018)
Robert Robere, Antonina Kolokolova, Vijay Ganesh
The Proof Complexity of SMT Solvers. CAV (2) (2018)
Marco L. Carmosino, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
Agnostic Learning from Tolerant Natural Proofs. APPROX-RANDOM (2017)
Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Pierre McKenzie, Shadab Romani
Does Looking Inside a Circuit Help?. MFCS (2017)
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, R. Ryan Williams
Completeness for First-Order Properties on Sparse Structures with Algorithmic Applications. SODA (2017)
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
Stabbing Planes. Electron. Colloquium Comput. Complex. 24 (2017)
Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Pierre McKenzie, Shadab Romani
Does Looking Inside a Circuit Help? Electron. Colloquium Comput. Complex. 24 (2017)
Sam Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucký
Expander Construction in VNC1. ITCS (2017)
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
Stabbing Planes. CoRR (2017)
Marco L. Carmosino, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
Algorithms from Natural Lower Bounds. Electron. Colloquium Comput. Complex. 23 (2016)
Sam Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucký
. Electron. Colloquium Comput. Complex. 23 (2016)
Marco L. Carmosino, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
Learning Algorithms from Natural Proofs. Computational Complexity Conference (2016)
Noah Fleming, Antonina Kolokolova, Renesa Nizamee
Complexity of alignment and decoding problems: restrictions and approximations. Mach. Transl. 29 (3-4) (2015)
Marco Carmosino, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
Tighter Connections between Derandomization and Circuit Lower Bounds. APPROX-RANDOM (2015)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-Algorithms. Comput. Complex. 24 (2) (2015)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-algorithms. Computational Complexity Conference (2014)
Antonina Kolokolova, Renesa Nizamee
Approximating solution structure of the Weighted Sentence Alignment problem. CoRR (2014)
Valentine Kabanets, Antonina Kolokolova
Compression of Boolean Functions. Electron. Colloquium Comput. Complex. 20 (2013)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-Algorithms. Electron. Colloquium Comput. Complex. 20 (2013)
Antonina Kolokolova
Expressing versus Proving: Relating Forms of Complexity in Logic. J. Log. Comput. 22 (2) (2012)
Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
On the Complexity of Model Expansion. LPAR (Yogyakarta) (2010)
Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
An Axiomatic Approach to Algebrization. Algebraic Methods in Computational Complexity (2009)
Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
An axiomatic approach to algebrization. STOC (2009)
Antonina Kolokolova
Many Facets of Complexity in Logic. CiE (2008)
Antonina Kolokolova
Closure Properties of Weak Systems of Bounded Arithmetic. CSL (2005)
Stephen A. Cook, Antonina Kolokolova
A Second-Order Theory for NL. LICS (2004)
Stephen A. Cook, Antonina Kolokolova
A second-order system for polytime reasoning based on Grädel's theorem. Ann. Pure Appl. Log. 124 (1-3) (2003)
Stephen A. Cook, Antonina Kolokolova
A second-order system for polynomial-time reasoning based on Graedel's theorem Electron. Colloquium Comput. Complex. 8 (24) (2001)
Stephen A. Cook, Antonina Kolokolova
A Second-Order System for Polytime Reasoning Using Graedel's Theorem. LICS (2001)