Dmitry Chistikov

1. Unary Pushdown Automata and Straight-Line Programs
   2014/03/03 by Dmitry Chistikov, Chistikov, Dmitry, Rupak Majumdar +1 · 1 citation
   Computer Science · #semigroups and automata theory #Formal Methods in Verification #Natural Language Processing Techniques
2. Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs
   2023/06/10 by Dmitry Chistikov, Chistikov, Dmitry, Matthias Englert +3 · 1 citation
   Computer Science · Physics and Astronomy · #68Q32 #68T07 #FOS: Computer and information sciences #I.2.6 #Machine Learning (cs.LG) #Machine Learning and ELM #Model Reduction and Neural Networks #Neural Networks and Applications