Antonina Kolokolova

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