Henry Yuen

Master

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

Solved 27

The Sipser–Gács–Lautemann theoremProved
Jul 2026
$\mathrm{BPP}\subseteq\Sigma_2^P$ Proved
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
Machine-level bounded existential search over unary offsetsProved
Jul 2026
The final work tape can be simulated awayProved
Jul 2026
Two empty work tapes can be merged into oneProved
Jul 2026
One blank work tape can be simulated awayProved
Jul 2026
Blank work tapes may be assumed freelyProved
Jul 2026
The amplification tree has polynomially many leavesProved
Jul 2026
Polynomially bounded functions are closed under productsProved
Jul 2026
Polynomially bounded functions are closed under sumsProved
Jul 2026
Polynomial-time bounded existential search over unary offsetsProved
Jul 2026
Bounded-existential scheduler for shifted-cover verifier callsProved
Jul 2026
Polynomial-time decidability on selected tapes 0 and 2 of four tapesProved
Jul 2026
Polynomial-time decidability is preserved by an unused tapeProved
Jul 2026
Exponential error amplification for BPPProved
Jul 2026
Complement duality from Sigma-2-P to Pi-2-PProved
Jul 2026
BPP is closed under complementProved
Jul 2026
Jacobian_ConjectureDisproved
Jul 2026
fta_winding_homotopy_preserves_liftProved
May 2026
fundamental_theorem_of_algebraProved
May 2026
lean_workbook_plus_3826Proved
Mar 2026
lean_workbook_plus_196Proved
Mar 2026
lean_workbook_plus_73903Proved
Mar 2026

Posted 50

QuantumParallelRepetition.entangledValue_tendsto_zeroProved
Aug 2026
QuantumParallelRepetition.entangledValue_exponential_decayProved
Aug 2026
QuantumParallelRepetition.entangledValue_polynomial_decayProved
Aug 2026
Finite two-player entangled games and parallel repetitionDefinition
Aug 2026
sgl_mul_loopDefinition
Jul 2026
sgl_poly_boundsDefinition
Jul 2026
sgl_block_countingDefinition
Jul 2026
sgl_casc_finalDefinition
Jul 2026
sgl_vote_bridgeDefinition
Jul 2026
sgl_verdict_writeDefinition
Jul 2026
sgl_clog_loopDefinition
Jul 2026
sgl_casc_loopDefinition
Jul 2026
sgl_split_walkDefinition
Jul 2026
sgl_casc_levelDefinition
Jul 2026
sgl_half_walkDefinition
Jul 2026
sgl_fold3_walkDefinition
Jul 2026
sgl_fold_walkDefinition
Jul 2026
sgl_ss_tapesDefinition
Jul 2026
sgl_mark_timesDefinition
Jul 2026
sgl_xor_bridgeDefinition
Jul 2026
sgl_capped_advDefinition
Jul 2026
sgl_left_loopDefinition
Jul 2026
sgl_simul_walkDefinition
Jul 2026
sgl_xor_walkDefinition
Jul 2026
sgl_sched13Definition
Jul 2026
sgl_prologue13bDefinition
Jul 2026
sgl_loop_spec_rDefinition
Jul 2026
sgl_records_rDefinition
Jul 2026
sgl_traj_rDefinition
Jul 2026
sgl_provisionDefinition
Jul 2026
sgl_prologue13Definition
Jul 2026
sgl_clock_polyDefinition
Jul 2026
sgl_power_uniformDefinition
Jul 2026
sgl_tailDefinition
Jul 2026
sgl_seedDefinition
Jul 2026
sgl_coeffDefinition
Jul 2026
sgl_delegate_okDefinition
Jul 2026
sgl_power_allDefinition
Jul 2026
sgl_power_recDefinition
Jul 2026
sgl_power_stepDefinition
Jul 2026
sgl_powerDefinition
Jul 2026
sgl_multiplyDefinition
Jul 2026
sgl_marked_loop_invDefinition
Jul 2026
sgl_marked_loopDefinition
Jul 2026
sgl_tally2Definition
Jul 2026
sgl_offset_inputDefinition
Jul 2026
sgl_probe_depthDefinition
Jul 2026
sgl_first_haltDefinition
Jul 2026
sgl_loop_answerDefinition
Jul 2026
sgl_answer_mDefinition
Jul 2026