{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"practice","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"page":"2"},"kind":"batches","total":360,"pages":15,"page":2,"entries":[{"id":"batch-20261015-advance-20261116-r04-finite-maximum-likelihood-estimator-foundations","title":{"zh-Hant":"有限模型最大似然估計量基礎 · 脈衝 R04","en":"Complete Likelihood Argmax Sets and Fixed Total Tie Rules"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-maximum-likelihood-estimator"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r03-taylor-remainder-theorem-foundations","title":{"zh-Hant":"Taylor餘項定理基礎 · 脈衝 R03","en":"Exact Polynomial Remainders, Lagrange Witnesses and Qualified Bounds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-taylor-remainder-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations","title":{"zh-Hant":"介值定理基礎 · 脈衝 R02","en":"Inclusive IVT Witnesses and Mode-Specific Continuity Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-intermediate-value-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261116-r01-contraction-mapping-theorem-foundations","title":{"zh-Hant":"壓縮映射定理基礎 · 脈衝 R01","en":"Global Contraction Qualifications, Picard Orbits and Exact Tail Bounds"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-contraction-mapping-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r07-many-one-reduction-foundations","title":{"zh-Hant":"多對一歸約基礎 · 脈衝 R07","en":"Total Iff Maps, Directed Composition and Forward Decider Transfer"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-many-one-reduction"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations","title":{"zh-Hant":"最小頂點覆蓋基礎 · 脈衝 R06","en":"All Minimum Covers and Explicit Nonminimum Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-minimum-vertex-cover"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r05-max-flow-min-cut-theorem-foundations","title":{"zh-Hant":"最大流最小割定理基礎 · 脈衝 R05","en":"Complete Directed Cuts and Equal-Value Flow Optimality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-max-flow-min-cut-theorem"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r04-linear-program-duality-foundations","title":{"zh-Hant":"線性規劃對偶基礎 · 脈衝 R04","en":"Fixed Dual Conventions, Feasible Weak Chains and Zero-Gap Certificates"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-linear-program-duality"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r03-bias-variance-decomposition-foundations","title":{"zh-Hant":"偏誤－變異數分解基礎 · 脈衝 R03","en":"Theta-Specific Bias-Variance Identities and Centering"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-bias-variance-decomposition"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r02-finite-group-center-foundations","title":{"zh-Hant":"有限群中心基礎 · 脈衝 R02","en":"Complete Centers, Normality and Singleton-Conjugacy Equivalences"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-group-center"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations","title":{"zh-Hant":"有限群第一同構定理基礎 · 脈衝 R01","en":"Qualified Quotient-to-Image Isomorphisms and Codomain Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-first-isomorphism-theorem-finite-groups"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r07-vertex-cover-foundations","title":{"zh-Hant":"頂點覆蓋基礎 · 脈衝 R07","en":"Complete Edge Coverage, Supersets and Minimal-versus-Minimum Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-vertex-cover"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r06-linear-program-standard-form-foundations","title":{"zh-Hant":"線性規劃標準形基礎 · 脈衝 R06","en":"One LP Convention, Exact Slack Maps and Mode-Specific Conversions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-linear-program-standard-form"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r05-estimator-mean-squared-error-foundations","title":{"zh-Hant":"估計量均方誤差基礎 · 脈衝 R05","en":"Exact Theta-Indexed Expected Loss, Almost-Sure Equality and Observed-Error Limits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-estimator-mean-squared-error"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r04-standard-normal-distribution-foundations","title":{"zh-Hant":"標準常態分布基礎 · 脈衝 R04","en":"Symbolic Gaussian Densities, CDF Symmetry and Named-Theorem Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-standard-normal-distribution"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r03-finite-group-conjugacy-class-foundations","title":{"zh-Hant":"有限群共軛類基礎 · 脈衝 R03","en":"Complete Conjugation Actions, Classes and Nonconjugacy Witnesses"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-group-conjugacy-class"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r02-finite-quotient-group-foundations","title":{"zh-Hant":"有限商群基礎 · 脈衝 R02","en":"Complete Coset Carriers, Representative Independence and Quotient Products"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-quotient-group"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261114-r01-finite-group-homomorphism-kernel-foundations","title":{"zh-Hant":"有限群同態的核基礎 · 脈衝 R01","en":"Qualified Homomorphisms, Normal Kernels, Fibers and Injectivity"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-group-homomorphism-kernel"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r07-finite-flow-network-foundations","title":{"zh-Hant":"有限流網路基礎 · 脈衝 R07","en":"Directed Capacity, Internal Conservation, Net Values and Nonoptimality Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-finite-flow-network"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r06-gradient-vector-foundations","title":{"zh-Hant":"梯度向量基礎 · 脈衝 R06","en":"Ordered Euclidean Derivatives, Exact Values and Mode-Specific Counterexamples"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-gradient-vector"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations","title":{"zh-Hant":"Turing機判定模型基礎 · 脈衝 R05","en":"Exact Tape Traces, Canonical Global Rankings and Explicit Recognizer Loops"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-turing-machine-decision-model"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r04-euler-criterion-quadratic-residue-foundations","title":{"zh-Hant":"Euler二次剩餘判準基礎 · 脈衝 R04","en":"Independent Square and Modular-Power Routes with Odd-Prime Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-euler-criterion-quadratic-residue"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r03-analytic-ordinary-generating-function-foundations","title":{"zh-Hant":"解析普通生成函數基礎 · 脈衝 R03","en":"Complete Coefficient Laws, Analytic Domains and Initial Boundary Terms"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-analytic-ordinary-generating-function"],"state":"candidate_validated"},{"id":"batch-20261015-advance-20261113-r02-real-exponential-function-foundations","title":{"zh-Hant":"實指數函數基礎 · 脈衝 R02","en":"Exact Finite Sums, Whole Exponential Identities and Convolution Scope"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-15","count":100,"mko_ids":["mko-real-exponential-function"],"state":"candidate_validated"}],"title":"Question batches"}