% csauthors.net - beta - BibTeX bibliography of Antonina Kolokolova
@inproceedings{conf/lics/CookK01,
title = {A Second-Order System for Polytime Reasoning Using Graedel's Theorem.},
year = {2001},
booktitle = {LICS},
author = {{Stephen A. Cook} and {Antonina Kolokolova}},
publisher = {IEEE Computer Society},
booktitle = {16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings}
}
@article{journals/eccc/ECCC-TR01-024,
title = {A second-order system for polynomial-time reasoning based on Graedel's theorem},
year = {2001},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Stephen A. Cook} and {Antonina Kolokolova}}
}
@article{journals/apal/CookK03,
title = {A second-order system for polytime reasoning based on Grädel's theorem.},
year = {2003},
journal = {Ann. Pure Appl. Log.},
author = {{Stephen A. Cook} and {Antonina Kolokolova}}
}
@inproceedings{conf/lics/CookK04,
title = {A Second-Order Theory for NL.},
year = {2004},
booktitle = {LICS},
author = {{Stephen A. Cook} and {Antonina Kolokolova}},
publisher = {IEEE Computer Society},
booktitle = {19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings}
}
@inproceedings{conf/csl/Kolokolova05,
title = {Closure Properties of Weak Systems of Bounded Arithmetic.},
year = {2005},
booktitle = {CSL},
author = {{Antonina Kolokolova}},
publisher = {Springer},
booktitle = {Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}
}
@phdthesis{phd/ca/Kolokolova05,
title = {Systems of bounded arithmetic from descriptive complexity.},
year = {2005},
author = {{Antonina Kolokolova}}
}
@inproceedings{conf/cie/Kolokolova08,
title = {Many Facets of Complexity in Logic.},
year = {2008},
booktitle = {CiE},
author = {{Antonina Kolokolova}},
publisher = {Springer},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings}
}
@inproceedings{conf/dagstuhl/ImpagliazzoKK09,
title = {An Axiomatic Approach to Algebrization.},
year = {2009},
booktitle = {Algebraic Methods in Computational Complexity},
author = {{Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009}
}
@inproceedings{conf/lpar/KolokolovaLMT10,
title = {On the Complexity of Model Expansion.},
year = {2010},
booktitle = {LPAR (Yogyakarta)},
author = {{Antonina Kolokolova} and {Yongmei Liu 001} and {David G. Mitchell} and {Eugenia Ternovska}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}
}
@article{journals/logcom/Kolokolova12,
title = {Expressing versus Proving: Relating Forms of Complexity in Logic.},
year = {2012},
journal = {J. Log. Comput.},
author = {{Antonina Kolokolova}}
}
@article{journals/eccc/KabanetsK13,
title = {Compression of Boolean Functions.},
year = {2013},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Valentine Kabanets} and {Antonina Kolokolova}}
}
@article{journals/corr/KolokolovaN14,
title = {Approximating solution structure of the Weighted Sentence Alignment problem.},
year = {2014},
journal = {CoRR},
author = {{Antonina Kolokolova} and {Renesa Nizamee}}
}
@inproceedings{conf/approx/CarmosinoIKK15,
title = {Tighter Connections between Derandomization and Circuit Lower Bounds.},
year = {2015},
booktitle = {APPROX-RANDOM},
author = {{Marco Carmosino} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA}
}
@article{journals/cc/ChenKKSZ15,
title = {Mining Circuit Lower Bound Proofs for Meta-Algorithms.},
year = {2015},
journal = {Comput. Complex.},
author = {{Ruiwen Chen} and {Valentine Kabanets} and {Antonina Kolokolova} and {Ronen Shaltiel} and {David Zuckerman}}
}
@article{journals/mt/FlemingKN15,
title = {Complexity of alignment and decoding problems: restrictions and approximations.},
year = {2015},
journal = {Mach. Transl.},
author = {{Noah Fleming} and {Antonina Kolokolova} and {Renesa Nizamee}}
}
@inproceedings{conf/coco/CarmosinoIKK16,
title = {Learning Algorithms from Natural Proofs.},
year = {2016},
booktitle = {CCC},
author = {{Marco L. Carmosino} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan}
}
@article{journals/eccc/BussKKK16,
title = {Expander Construction in VNC1.},
year = {2016},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Sam Buss} and {Valentine Kabanets} and {Antonina Kolokolova} and {Michal Koucký 001}}
}
@article{journals/eccc/CarmosinoIKK16,
title = {Algorithms from Natural Lower Bounds.},
year = {2016},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Marco L. Carmosino} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}}
}
@incollection{books/daglib/p/Kolokolova17,
title = {Complexity Barriers as Independence.},
year = {2017},
booktitle = {The Incomputable},
author = {{Antonina Kolokolova}},
publisher = {Springer International Publishing},
booktitle = {The Incomputable: Journeys Beyond the Turing Barrier}
}
@inproceedings{conf/approx/CarmosinoIKK17,
title = {Agnostic Learning from Tolerant Natural Proofs.},
year = {2017},
booktitle = {APPROX-RANDOM},
author = {{Marco L. Carmosino} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2017, August 16-18, 2017, Berkeley, CA, USA}
}
@inproceedings{conf/innovations/BussKKK17,
title = {Expander Construction in VNC1.},
year = {2017},
booktitle = {ITCS},
author = {{Sam Buss} and {Valentine Kabanets} and {Antonina Kolokolova} and {Michal Koucký 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {8th Innovations in Theoretical Computer Science Conference, ITCS 2017, January 9-11, 2017, Berkeley, CA, USA}
}
@article{journals/eccc/BeameFIKPPR17,
title = {Stabbing Planes.},
year = {2017},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Paul Beame} and {Noah Fleming} and {Russell Impagliazzo} and {Antonina Kolokolova} and {Denis Pankratov} and {Toniann Pitassi} and {Robert Robere}}
}
@article{journals/eccc/ImpagliazzoKKMR17,
title = {Does Looking Inside a Circuit Help?},
year = {2017},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova} and {Pierre McKenzie} and {Shadab Romani}}
}
@inproceedings{conf/cav/RobereKG18,
title = {The Proof Complexity of SMT Solvers.},
year = {2018},
booktitle = {CAV (2)},
author = {{Robert Robere} and {Antonina Kolokolova} and {Vijay Ganesh}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II}
}
@inproceedings{conf/ai/OzahK19,
title = {Compression Improves Image Classification Accuracy.},
year = {2019},
booktitle = {Canadian AI},
author = {{Nnamdi Ozah} and {Antonina Kolokolova}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Kingston, ON, Canada, May 28-31, 2019, Proceedings}
}
@inproceedings{conf/icalp/GolovnevIIKKT19,
title = {AC0[p] Lower Bounds Against MCSP via the Coin Problem.},
year = {2019},
booktitle = {ICALP},
author = {{Alexander Golovnev} and {Rahul Ilango} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova} and {Avishay Tal}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece.}
}
@article{journals/eccc/GolovnevIIKKT19,
title = {AC0[p] Lower Bounds against MCSP via the Coin Problem.},
year = {2019},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Alexander Golovnev} and {Rahul Ilango} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova} and {Avishay Tal}}
}
@article{journals/talg/GaoIKW19,
title = {Completeness for First-order Properties on Sparse Structures with Algorithmic Applications.},
year = {2019},
journal = {ACM Trans. Algorithms},
author = {{Jiawei Gao 001} and {Russell Impagliazzo} and {Antonina Kolokolova} and {Ryan Williams 001}}
}
@article{journals/corr/abs-2010-15772,
title = {GANs & Reels: Creating Irish Music using a Generative Adversarial Network.},
year = {2020},
journal = {CoRR},
author = {{Antonina Kolokolova} and {Mitchell Billard} and {Robert Bishop} and {Moustafa Elsisy} and {Zachary Northcott} and {Laura Graves} and {Vineel Nagisetty} and {Heather Patey}}
}
@inproceedings{conf/icalp/CarmosinoHIKK21,
title = {Lifting for Constant-Depth Circuits and Applications to MCSP.},
year = {2021},
booktitle = {ICALP},
author = {{Marco Carmosino} and {Kenneth Hoover} and {Russell Impagliazzo} and {Valentine Kabanets} and {Antonina Kolokolova}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference).}
}
@inproceedings{conf/sat/LiCMVFKMG21,
title = {On the Hierarchical Community Structure of Practical Boolean Formulas.},
year = {2021},
booktitle = {SAT},
author = {{Chunxiao Li 002} and {Jonathan Chung 003} and {Soham Mukherjee} and {Marc Vinyals} and {Noah Fleming} and {Antonina Kolokolova} and {Alice Mu} and {Vijay Ganesh}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings}
}
@article{journals/corr/abs-2103-14992,
title = {On the Hierarchical Community Structure of Practical SAT Formulas.},
year = {2021},
journal = {CoRR},
author = {{Chunxiao Li 002} and {Jonathan Chung 003} and {Soham Mukherjee} and {Marc Vinyals} and {Noah Fleming} and {Antonina Kolokolova} and {Alice Mu} and {Vijay Ganesh}}
}
@article{journals/corr/abs-2112-12340,
title = {Learning with distributional inverters.},
year = {2021},
journal = {CoRR},
author = {{Eric Binnendyk} and {Marco Carmosino} and {Antonina Kolokolova} and {Ramyaa Ramyaa} and {Manuel Sabin}}
}
@article{journals/eccc/CarmosinoKKO21,
title = {LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.},
year = {2021},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Marco Carmosino} and {Valentine Kabanets} and {Antonina Kolokolova} and {Igor C. Oliveira}}
}
@inproceedings{conf/alt/BinnendykCKRS22,
title = {Learning with Distributional Inverters.},
year = {2022},
booktitle = {ALT},
author = {{Eric Binnendyk} and {Marco Carmosino} and {Antonina Kolokolova} and {R. Ramyaa} and {Manuel Sabin}},
publisher = {PMLR},
booktitle = {International Conference on Algorithmic Learning Theory, 29 March - 1 April 2022, Paris, France.}
}
@inproceedings{conf/eurogp/NickersonKH22,
title = {Creating Diverse Ensembles for Classification with Genetic Programming and Neuro-MAP-Elites.},
year = {2022},
booktitle = {EuroGP},
author = {{Kyle L. Nickerson} and {Antonina Kolokolova} and {Ting Hu 001}},
publisher = {Springer},
booktitle = {Genetic Programming - 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings}
}
@inproceedings{conf/pkdd/NickersonTKSRHH22,
title = {Banksformer: A Deep Generative Model for Synthetic Transaction Sequences.},
year = {2022},
booktitle = {ECML/PKDD (6)},
author = {{Kyle L. Nickerson} and {Terrence S. Tricco} and {Antonina Kolokolova} and {Farzaneh Shoeleh} and {Charles Robertson} and {John Hawkin} and {Ting Hu 001}},
publisher = {Springer},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI}
}
@article{journals/eccc/FlemingGK0V23,
title = {Limits of CDCL Learning via Merge Resolution.},
year = {2023},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Noah Fleming} and {Vijay Ganesh} and {Antonina Kolokolova} and {Chunxiao Li 002} and {Marc Vinyals}}
}