| MTH.R-2026-6001 | MTH.C-2026-6001 | encard_image_inter_le_encard_shatters | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6002 | MTH.C-2026-6002 | HasVCDimLE.vcGrowth_le_exp | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6003 | MTH.C-2026-6003 | mk_determined_le_mk_shatters | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6004 | MTH.C-2026-6004 | not_mk_image_inter_le_mk_shatters | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6005 | MTH.C-2026-6005 | encard_image_restrict_le_encard_pairCubes | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6006 | MTH.C-2026-6006 | exists_hasNatarajanDimLE_not_hasDSDimLE | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6007 | MTH.C-2026-6007 | HasVCDimLE.mk_image_inter_le_ded | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6008 | MTH.C-2026-6008 | no_smaller_bound | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6009 | MTH.C-2026-6009 | fundamental_vc_compression_with_info | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6010 | MTH.C-2026-6010 | littlestone_characterization | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6011 | MTH.C-2026-6011 | optimal_mistake_bound_eq_ldim | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6012 | MTH.C-2026-6012 | universal_imp_pac | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6013 | MTH.C-2026-6013 | krappWirthSeparationMeasTarget_holds | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6014 | MTH.C-2026-6014 | KWLock.ambainis_tower_locked | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6015 | MTH.C-2026-6015 | AuditCP.auditBlind_finiteTrajectory_goodhart | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6016 | MTH.C-2026-6016 | AuditCP.blackwellEquivalent_publicOnly_iff_auditSealed | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6017 | MTH.C-2026-6017 | AuditCP.auditSealed_iff_no_binary_decision_advantage | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6018 | MTH.C-2026-6018 | MeasureTheory.AnalyticSet.cap_eq_iSup_isCompact | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6019 | MTH.C-2026-6019 | HiddenChannelCapacity.acyclic_iff_forall_consistent_glues | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6020 | MTH.C-2026-6020 | HiddenChannelCapacity.dirac_strong | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6021 | MTH.C-2026-6021 | HiddenChannelCapacity.lz_theorem_3_1 | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6022 | MTH.C-2026-6022 | ProbabilityTheory.klDivReal_multivariateGaussian | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6023 | MTH.C-2026-6023 | MeasureTheory.exists_analyticSet_not_measurableSet_real | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6024 | MTH.C-2026-6024 | InformationTheory.pinsker_proof | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6025 | MTH.C-2026-6025 | StructuralIgnorance.hasKernelScheme_one_of_vcBounded_one | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6026 | MTH.C-2026-6026 | fundamental_theorem | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6027 | MTH.C-2026-6027 | vcDim_fundamental_theorem | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6028 | MTH.C-2026-6028 | online_strictly_stronger_pac | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6029 | MTH.C-2026-6029 | advice_elimination | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6030 | MTH.C-2026-6030 | FLT.Halfspace.vcDim_halfspace_eq | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6031 | MTH.C-2026-6031 | vcDim_dualClass_le | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6032 | MTH.C-2026-6032 | logâ‚‚_vcDim_le_vcDim_dualClass | Dhruv Gupta | Classical.choiceQuot.soundpropext | 2026-09-24T00:00:00Z |
| MTH.R-2026-6501 | MTH.C-2026-6501 | second_probe | Adhishraya Sharma | free | 2026-09-27T17:43:43Z |