Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving
  • Member for 11 years, 3 months
  • Last seen this week
29 votes
1 answer
1k views

Has a proof checker bug ever invalidated a major proof?

18 votes
2 answers
505 views

Separating words with random DFAs

16 votes
1 answer
449 views

Probability that a random sorting network works

15 votes
1 answer
468 views

Natural theorems proven only "to high probability"?

13 votes
1 answer
474 views

Gap between $BB(n)$ and "second largest" $BB(n)$

11 votes
0 answers
296 views

Does MIP* = RE algebrize?

11 votes
4 answers
271 views

Minimum communication cost for zero knowledge proofs of three colorability

10 votes
1 answer
269 views

Is deterministic pseudorandomness possibly stronger than randomness in parallel?

9 votes
1 answer
1k views

Fully linear time regular expression matching

9 votes
1 answer
492 views

Formalizing the "no formula for primes" intuition

8 votes
1 answer
650 views

Does the MIP* = RE proof work for limited provers?

8 votes
0 answers
200 views

Fast algorithm for composing Boolean polynomials

8 votes
0 answers
209 views

Complexity of checking if AB intersects C

8 votes
2 answers
167 views

Smoothly leaking information over time

7 votes
1 answer
202 views

Quantum complexity of TQBF

6 votes
1 answer
170 views

Where does randomness help when deciding algebraic geometry over $\mathbb{C}$?

6 votes
0 answers
119 views

Practical algorithms for finding small arithmetic circuits

6 votes
2 answers
381 views

Maintaining the product of a queue of semigroup elements

5 votes
1 answer
147 views

Is black box parallel quantum speedup ever nontrivial?

5 votes
1 answer
133 views

Topological properties of Delaunay triangulations

5 votes
1 answer
1k views

Heap with $O(1)$ delete-key

5 votes
0 answers
137 views

Evaluating arithmetic circuits with stochastic rounding

5 votes
3 answers
243 views

Extracting coefficients of polynomials given by straight line programs

4 votes
0 answers
85 views

Non-objected oriented type theories that can express the $\nu Obj$ calculus

4 votes
1 answer
322 views

Reference request: Classical analog of quantum threshold theorem

3 votes
2 answers
571 views

Quantum complexity of maximum inner product search

3 votes
1 answer
144 views

Median finding with "green forests"?

3 votes
0 answers
127 views

Examples of ineffective PH collapse theorems?

3 votes
0 answers
54 views

Correlated random models of game trees

2 votes
1 answer
66 views

Nonsingular regret bound for UCB