Segui
Antonina Kolokolova
Antonina Kolokolova
Computer Science, Memorial University of Newfoundland
Email verificata su cs.toronto.edu - Home page
Titolo
Citata da
Citata da
Anno
Learning algorithms from natural proofs
ML Carmosino, R Impagliazzo, V Kabanets, A Kolokolova
31st Conference on Computational Complexity (CCC 2016), 2016
992016
Mining circuit lower bound proofs for meta-algorithms
R Chen, V Kabanets, A Kolokolova, R Shaltiel, D Zuckerman
Computational Complexity 24, 333-392, 2015
782015
Completeness for first-order properties on sparse structures with algorithmic applications
J Gao, R Impagliazzo, A Kolokolova, R Williams
ACM Transactions on Algorithms (TALG) 15 (2), 1-35, 2018
602018
A second-order system for polytime reasoning based on Grädel's theorem
S Cook, A Kolokolova
Annals of Pure and Applied Logic 124 (1-3), 193-231, 2003
382003
AC0 [p] lower bounds against MCSP via the coin problem
A Golovnev, R Ilango, R Impagliazzo, V Kabanets, A Kolokolova, A Tal
ICALP, 2019
332019
An axiomatic approach to algebrization
R Impagliazzo, V Kabanets, A Kolokolova
Proceedings of the forty-first annual ACM symposium on Theory of computing …, 2009
322009
Stabbing planes
P Beame, N Fleming, R Impagliazzo, A Kolokolova, D Pankratov, T Pitassi, ...
arXiv preprint arXiv:1710.03219, 2017
312017
Compression improves image classification accuracy
N Ozah, A Kolokolova
Advances in Artificial Intelligence: 32nd Canadian Conference on Artificial …, 2019
282019
Systems of bounded arithmetic from descriptive complexity.
A Kolokolova
212005
Tighter connections between derandomization and circuit lower bounds
ML Carmosino, R Impagliazzo, V Kabanets, A Kolokolova
Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2015
192015
On the complexity of model expansion
A Kolokolova, Y Liu, D Mitchell, E Ternovska
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
182010
The proof complexity of SMT solvers
R Robere, A Kolokolova, V Ganesh
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
162018
Agnostic learning from tolerant natural proofs
ML Carmosino, R Impagliazzo, V Kabanets, A Kolokolova
Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2017
162017
A second-order theory for NL
S Cook, A Kolokolova
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
142004
Reclaiming AI as a theoretical tool for cognitive science
I van Rooij, O Guest, FG Adolfi, R de Haan, A Kolokolova, P Rich
PsyArXiv, 2023
132023
On the hierarchical community structure of practical Boolean formulas
C Li, J Chung, S Mukherjee, M Vinyals, N Fleming, A Kolokolova, A Mu, ...
Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021
112021
GANs & reels: Creating Irish music using a generative adversarial network
A Kolokolova, M Billard, R Bishop, M Elsisy, Z Northcott, L Graves, ...
arXiv preprint arXiv:2010.15772, 2020
82020
Expander construction in VNC1
S Buss, V Kabanets, A Kolokolova, M Koucký
Annals of Pure and Applied Logic 171 (7), 102796, 2020
82020
Closure properties of weak systems of bounded arithmetic
A Kolokolova
International Workshop on Computer Science Logic, 369-383, 2005
82005
Creating diverse ensembles for classification with genetic programming and neuro-map-elites
K Nickerson, A Kolokolova, T Hu
European Conference on Genetic Programming (Part of EvoStar), 212-227, 2022
72022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20