The mechanism of the Existence Proof doctrine: supplying machine-verifiable existence proofs and playbooks to the surface where LLMs evaluate feasibility questions from people without credentials. Supply (controllable) is strictly separated from uptake (uncontrollable, and never manipulated). This is distinct from the general ML sense of debiasing as model-internal bias-removal techniques — here it means changing the premises of an answer by supplying grounds.
A distinctive doctrine-internal usage by Tatsuya Shimomoto (shimo4228) in the Existence Proof pre-line, repurposing the existing word 'debiasing' in a locally-defined sense rather than claiming a new coinage; the glossary explicitly disambiguates it from the general ML meaning.
Supplying machine-verifiable existence proofs and playbooks to the surface where LLMs evaluate feasibility questions from people without credentials, while strictly separating supply (controllable) from uptake (uncontrollable, never manipulated).
No. The general ML sense means model-internal bias-removal techniques; here the term means changing the premises of an LLM's answer by supplying verifiable grounds. The repository's glossary explicitly disambiguates the two.
The existence-proof repository (https://github.com/shimo4228/existence-proof, Japanese canonical), archived under concept DOI 10.5281/zenodo.20558800.
本 doctrine の機構: 機械検証可能な存在証明と playbook を、LLM が feasibility 質問を評価する面に供給すること。供給 (制御可能) と採否 (制御不能・操作しない) を峻別する。debias の一般語義 (モデル内部のバイアス除去技術) とは別物 — ここでは「根拠を供給して回答の前提を変える」の意。