Theoretical Computer Science

Help Center > Badges > Teacher

 Teacher
Answer a question with score of 1 or more.
Awarded 2193 times.
(post deleted or otherwise unavailable)
Awarded 6 hours ago
Are Boolean circuits 'universal'
Awarded yesterday
Universal Approximation - Are ReLUs discriminatory?
Awarded yesterday
Razborov-Smolensky polynomial argument on $\textrm{ACC}[q]$ where $q$ is a prime power
Awarded Jun 21 at 19:25
Deterministic error reduction, state-of-the-art?
Awarded Jun 18 at 7:10
Is Magic: the Gathering Turing complete?
Awarded Jun 18 at 0:35
QPIP minimal client quantum capabilities
Awarded Jun 6 at 9:30
Ed. Witten's new paper and the simulation of a quantum field theory
Awarded May 21 at 5:45
What's the relation between OOP and category theory?
Awarded May 18 at 0:35
On-policy/Off-policy Offline/Online Evaluation: Which would be an example of Online Off-Policy Evaluation?
Awarded May 14 at 2:30
Solid applications of category theory in TCS?
Awarded May 8 at 9:10
What is the best place to get BibTeX entries for ICLR and other machine learning papers?
Awarded May 8 at 7:35
Funny TCS-related papers etc?
Awarded May 7 at 2:10
Resources for Church's paper “An Unsolvable Problem of Elementary Number Theory”?
Awarded Apr 29 at 11:25
Are there any implementations of a graph crossing algorithm?
Awarded Apr 24 at 6:40
Machine Learning Algorithm To Fill Data Holes
Awarded Apr 18 at 20:20
Single author papers against my advisor's will?
Awarded Apr 17 at 13:20
What logic correponds via Curry-Howard to a Monad?
Awarded Apr 11 at 13:10
A conjecture related to the Cerny conjecture - counterexample/reference request
Awarded Apr 9 at 5:55
If I know pretty well '(a,b)', I know pretty well 'a', or 'b', or 'a xor b'
Awarded Apr 5 at 19:10
Implementation of surreal numbers for games
Awarded Apr 5 at 10:40
Möbius values of CNF and DNF lattices of a monotone Boolean function
Awarded Apr 2 at 6:25
Defining primitive recursive functions over general data types
Awarded Mar 29 at 14:30
What is the first name of Bainbridge?
Awarded Mar 24 at 0:10
Algorithm for K-best NON perfect bipartite matchings
Awarded Mar 22 at 7:50
How to sample from a distribution with submodular weights
Awarded Mar 20 at 23:40
Counting sum of parities of cycle covers in cubic, planar, bipartite graphs
Awarded Mar 13 at 10:00
Auction theory - Selling Multiple Items via Social Networks
Awarded Mar 7 at 22:00
What are CS blogs for puzzles/games?
Awarded Feb 20 at 12:35
Is F<: with bottom undecidable?
Awarded Feb 20 at 10:20
Solving Feedback Vertex Set (FVS) in FPT time $5^k$ with iterative compression?
Awarded Feb 16 at 21:45
Is case analysis on normal forms of lambda terms sufficient to prove parametricity results?
Awarded Feb 12 at 21:25
Oncina-Garcia RPNI algorithm for learning DFAs
Awarded Feb 12 at 21:15
Computational hardness for sampling a uniform matching
Awarded Feb 12 at 13:50
List of quantum-inspired algorithms
Awarded Feb 8 at 19:45
maximize edges minus vertices in a weighted graph
Awarded Feb 6 at 19:55
Minimal generator for a set of sets
Awarded Feb 1 at 12:50
Concrete examples of $\sharp P_1$ complete problems? Self avoiding walks?
Awarded Jan 30 at 20:30
Symbolic Execution is a case of Abstract Interpretation?
Awarded Jan 30 at 9:25
Continuous mathematics and formal language theory
Awarded Jan 26 at 7:25
Where does the modern canonical version of the Turing machine come from?
Awarded Jan 21 at 16:40
Strong seeded randomness extractors with low entropy loss
Awarded Jan 20 at 22:00
Algebraic construction of $\varepsilon$-biased sets
Awarded Jan 17 at 19:30
When a type is a value?
Awarded Jan 16 at 0:20
Do Turing complete languages automatically have efficient algorithms
Awarded Jan 13 at 5:05
Why can't a left-recursive, non-deterministic, or ambiguous grammar be LL(1)?
Awarded Jan 12 at 22:05
Maximum-minimum satisfiability
Awarded Jan 10 at 5:50
Optimal evaluation of polynomials / rational functions
Awarded Jan 9 at 19:40
Is this partition problem strongly NP-complete?
Awarded Jan 6 at 16:10
What to do as a Theoretical computer science PhD student in a free time?
Awarded Jan 5 at 17:30
Feel dissatisfied after each submission
Awarded Jan 5 at 6:35
Hamiltonian cycle vs co-NP
Awarded Dec 31 '18 at 22:45
Which one of the following is the correct asymptotic notation?
Awarded Dec 27 '18 at 7:05
QMA definition of difference between probabilities intuition
Awarded Dec 25 '18 at 2:05
Books/Lecture Notes on Parametrized Complexity
Awarded Dec 24 '18 at 17:40
Books/Lecture Notes on Parametrized Complexity
Awarded Dec 24 '18 at 14:40
What are some example problems for integer programming that are *not binary*
Awarded Dec 19 '18 at 2:10
Formally prove that the loops of this sorting algorithm will terminate
Awarded Dec 15 '18 at 19:00
Is a reference on T a subtype of T?
Awarded Dec 15 '18 at 7:05
Modeling objects (OOP) in dependent type theory
Awarded Dec 14 '18 at 14:30
1 2 3 4 5 … 37