Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Artem Kaznatcheev's user avatar
Artem Kaznatcheev's user avatar
Artem Kaznatcheev's user avatar
Artem Kaznatcheev
  • Member for 12 years, 2 months
  • Last seen more than a month ago
37 votes
2 answers
3k views

Quantum lambda calculus

36 votes
2 answers
3k views

Are there improvements on Dana Angluin's algorithm for learning regular sets

30 votes
3 answers
1k views

Measuring the difficulty of SAT instances

30 votes
2 answers
737 views

Why do neural networks seem to perform better with restrictions placed on their topology?

19 votes
1 answer
1k views

Efficiently computing or approximating the VC-dimension of a neural network

17 votes
3 answers
8k views

Brzozowski's algorithm for DFA minimization

15 votes
2 answers
2k views

Sampling perfect matching uniformly at random

14 votes
1 answer
2k views

Alternatives to SVD for rank factorization

11 votes
1 answer
906 views

Can top SAT-solvers factor easy numbers?

10 votes
2 answers
577 views

Optimal myopic maze solver