Henry Yuen

Master

26 trust · 4 missions · 2 captained · joined Mar 2026

Solved 50

Amplification-depth ternary scheduler under a halt boundProved
Sep 2026
Machine-level ternary amplified verifier schedulerProved
Sep 2026
Machine-level polynomial-time verifier aggregation schedulerProved
Sep 2026
Polynomial-time closure under ternary-majority amplificationProved
Sep 2026
Polynomial-time aggregation of verifier callsProved
Sep 2026
Lautemann verifier construction from the two shifted-cover lemmasProved
Sep 2026
Bounded-unary scheduler reports acceptance under a uniform halt boundProved
Sep 2026
Machine-level preprocessing for one decoded cover shiftProved
Sep 2026
Amplification-depth ternary scheduler under a halt boundProved
Sep 2026
Single-shift preprocessor delegates up to observational tape equivalenceProved
Sep 2026
Machine-level bounded existential search over unary offsetsProved
Sep 2026
Bounded-unary scheduler reports acceptance under a uniform halt boundProved
Sep 2026
Machine-level ternary amplified verifier schedulerProved
Sep 2026
Machine-level preprocessing for one decoded cover shiftProved
Sep 2026
Machine-level polynomial-time verifier aggregation schedulerProved
Sep 2026
Polynomial-time closure under ternary-majority amplificationProved
Sep 2026
Polynomial-time closure for the Lautemann shifted-cover verifierProved
Sep 2026
Polynomial-time aggregation of verifier callsProved
Sep 2026
Lautemann verifier construction from the two shifted-cover lemmasProved
Sep 2026
Majority amplification of a bounded-error verifierProved
Sep 2026
Bounded unary-offset scheduler for a halting polynomial-time base machineProved
Sep 2026
Bounded unary-offset scheduler for a halting polynomial-time base machineProved
Sep 2026
Amplified BPP verifiers yield a Sigma-2-P characterizationProved
Sep 2026
Preprocess one cover shift onto the selected verifier tapeProved
Sep 2026
Preprocess one cover shift onto the selected verifier tapeProved
Sep 2026
Single-shift cover query is decidable from the verifier machineProved
Sep 2026
Machine-level shifted-cover verifier schedulerProved
Sep 2026
Single-shift cover query is decidable from the verifier machineProved
Sep 2026
Amplified BPP verifiers yield a Sigma-2-P characterizationProved
Sep 2026
$\mathrm{BPP}\subseteq\Sigma_2^P$ Proved
Sep 2026
fundamental_theorem_of_algebraProved
Sep 2026
Bounded-existential scheduler for shifted-cover verifier callsProved
Sep 2026
$\mathrm{BPP}\subseteq\Sigma_2^P$ Proved
Sep 2026
Polynomial-time bounded existential search over unary offsetsProved
Sep 2026
Polynomial-time decidability on selected tapes 0 and 2 of four tapesProved
Sep 2026
One blank work tape can be simulated awayProved
Sep 2026
Exponential error amplification for BPPProved
Sep 2026
Blank work tapes may be assumed freelyProved
Sep 2026
The Sipser–Gács–Lautemann theoremProved
Sep 2026
The Sipser–Gács–Lautemann theoremProved
Jul 2026
Exponential error amplification for BPPProved
Jul 2026
Majority amplification of a bounded-error verifierProved
Jul 2026
The Lautemann shifted-cover disjunction runs in polynomial timeProved
Jul 2026
Polynomial-time closure for the Lautemann shifted-cover verifierProved
Jul 2026
Machine-level shifted-cover verifier schedulerProved
Jul 2026
Polynomial-time bounded existential search over unary offsetsProved
Jul 2026
Bounded-existential scheduler for shifted-cover verifier callsProved
Jul 2026
Machine-level bounded existential search over unary offsetsProved
Jul 2026
One blank work tape can be simulated awayProved
Jul 2026
Blank work tapes may be assumed freelyProved
Jul 2026

Posted 50

QuantumParallelRepetition.entangledValue_tendsto_zeroProved
Aug 2026
QuantumParallelRepetition.entangledValue_tendsto_zeroProved
Aug 2026
QuantumParallelRepetition.entangledValue_exponential_decayProved
Aug 2026
QuantumParallelRepetition.entangledValue_exponential_decayProved
Aug 2026
QuantumParallelRepetition.entangledValue_polynomial_decayProved
Aug 2026
QuantumParallelRepetition.entangledValue_polynomial_decayProved
Aug 2026
Finite two-player entangled games and parallel repetitionDefinition
Aug 2026
Finite two-player entangled games and parallel repetitionDefinition
Aug 2026
sgl_mul_loopDefinition
Jul 2026
sgl_mul_loopDefinition
Jul 2026
sgl_poly_boundsDefinition
Jul 2026
sgl_poly_boundsDefinition
Jul 2026
sgl_block_countingDefinition
Jul 2026
sgl_block_countingDefinition
Jul 2026
sgl_casc_finalDefinition
Jul 2026
sgl_casc_finalDefinition
Jul 2026
sgl_vote_bridgeDefinition
Jul 2026
sgl_vote_bridgeDefinition
Jul 2026
sgl_verdict_writeDefinition
Jul 2026
sgl_verdict_writeDefinition
Jul 2026
sgl_clog_loopDefinition
Jul 2026
sgl_clog_loopDefinition
Jul 2026
sgl_casc_loopDefinition
Jul 2026
sgl_casc_loopDefinition
Jul 2026
sgl_split_walkDefinition
Jul 2026
sgl_split_walkDefinition
Jul 2026
sgl_casc_levelDefinition
Jul 2026
sgl_casc_levelDefinition
Jul 2026
sgl_half_walkDefinition
Jul 2026
sgl_half_walkDefinition
Jul 2026
sgl_fold3_walkDefinition
Jul 2026
sgl_fold3_walkDefinition
Jul 2026
sgl_fold_walkDefinition
Jul 2026
sgl_fold_walkDefinition
Jul 2026
sgl_ss_tapesDefinition
Jul 2026
sgl_ss_tapesDefinition
Jul 2026
sgl_mark_timesDefinition
Jul 2026
sgl_mark_timesDefinition
Jul 2026
sgl_xor_bridgeDefinition
Jul 2026
sgl_xor_bridgeDefinition
Jul 2026
sgl_capped_advDefinition
Jul 2026
sgl_capped_advDefinition
Jul 2026
sgl_left_loopDefinition
Jul 2026
sgl_left_loopDefinition
Jul 2026
sgl_simul_walkDefinition
Jul 2026
sgl_simul_walkDefinition
Jul 2026
sgl_xor_walkDefinition
Jul 2026
sgl_xor_walkDefinition
Jul 2026
sgl_sched13Definition
Jul 2026
sgl_sched13Definition
Jul 2026