{
  "analytic": "reasoning-sampling",
  "kind": "declared_analytical_or_constructed_example",
  "experimental_model_result": false,
  "panels": [
    {
      "kind": "line",
      "x": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20
      ],
      "series": [
        {
          "label": "Independent success p=0.25",
          "y": [
            0.25,
            0.4375,
            0.578125,
            0.68359375,
            0.7626953125,
            0.822021484375,
            0.86651611328125,
            0.8998870849609375,
            0.9249153137207031,
            0.9436864852905273,
            0.9577648639678955,
            0.9683236479759216,
            0.9762427359819412,
            0.9821820519864559,
            0.9866365389898419,
            0.9899774042423815,
            0.9924830531817861,
            0.9943622898863396,
            0.9957717174147547,
            0.996828788061066
          ]
        }
      ],
      "xlabel": "Independent samples",
      "ylabel": "At least one success",
      "logx": false,
      "logy": false
    },
    {
      "kind": "line",
      "x": [
        0.01,
        0.014949494949494949,
        0.0198989898989899,
        0.02484848484848485,
        0.029797979797979796,
        0.03474747474747475,
        0.039696969696969696,
        0.04464646464646465,
        0.049595959595959596,
        0.05454545454545454,
        0.059494949494949496,
        0.06444444444444444,
        0.06939393939393938,
        0.07434343434343434,
        0.07929292929292929,
        0.08424242424242423,
        0.08919191919191918,
        0.09414141414141414,
        0.09909090909090908,
        0.10404040404040403,
        0.10898989898989898,
        0.11393939393939392,
        0.11888888888888888,
        0.12383838383838383,
        0.12878787878787878,
        0.13373737373737374,
        0.1386868686868687,
        0.14363636363636365,
        0.1485858585858586,
        0.15353535353535352,
        0.15848484848484848,
        0.16343434343434343,
        0.16838383838383839,
        0.17333333333333334,
        0.1782828282828283,
        0.18323232323232325,
        0.18818181818181817,
        0.19313131313131313,
        0.19808080808080808,
        0.20303030303030303,
        0.207979797979798,
        0.21292929292929294,
        0.21787878787878787,
        0.22282828282828282,
        0.22777777777777777,
        0.23272727272727273,
        0.23767676767676768,
        0.24262626262626263,
        0.24757575757575756,
        0.2525252525252525,
        0.25747474747474747,
        0.26242424242424245,
        0.2673737373737374,
        0.2723232323232323,
        0.2772727272727273,
        0.2822222222222222,
        0.2871717171717172,
        0.2921212121212121,
        0.29707070707070704,
        0.302020202020202,
        0.30696969696969695,
        0.31191919191919193,
        0.31686868686868686,
        0.32181818181818184,
        0.32676767676767676,
        0.3317171717171717,
        0.33666666666666667,
        0.3416161616161616,
        0.3465656565656566,
        0.3515151515151515,
        0.3564646464646465,
        0.3614141414141414,
        0.36636363636363634,
        0.3713131313131313,
        0.37626262626262624,
        0.3812121212121212,
        0.38616161616161615,
        0.3911111111111111,
        0.39606060606060606,
        0.401010101010101,
        0.40595959595959596,
        0.4109090909090909,
        0.41585858585858587,
        0.4208080808080808,
        0.4257575757575757,
        0.4307070707070707,
        0.43565656565656563,
        0.4406060606060606,
        0.44555555555555554,
        0.4505050505050505,
        0.45545454545454545,
        0.46040404040404037,
        0.46535353535353535,
        0.4703030303030303,
        0.47525252525252526,
        0.4802020202020202,
        0.4851515151515151,
        0.4901010101010101,
        0.495050505050505,
        0.5
      ],
      "series": [
        {
          "label": "Prevalence 0.1",
          "y": [
            0.9090909090909092,
            0.8699472759226714,
            0.8340353833192923,
            0.8009708737864077,
            0.7704280155642024,
            0.7421289355322339,
            0.7158351409978307,
            0.691340782122905,
            0.6684672518568534,
            0.6470588235294118,
            0.6269791006966434,
            0.6081081081081081,
            0.5903398926654742,
            0.5735805330243338,
            0.5577464788732395,
            0.542763157894737,
            0.5285638013881473,
            0.5150884495317378,
            0.5022831050228311,
            0.4900990099009901,
            0.4784920251329145,
            0.4674220963172805,
            0.4568527918781726,
            0.4467509025270759,
            0.4370860927152318,
            0.42783059636992227,
            0.4189589504866695,
            0.41044776119402987,
            0.4022754977651361,
            0.3944223107569721,
            0.38686987104337633,
            0.379601226993865,
            0.3726006774557772,
            0.3658536585365854,
            0.35934664246823955,
            0.3530670470756063,
            0.34700315457413256,
            0.34114403859407305,
            0.33547949847509323,
            0.33,
            0.3246966218432273,
            0.3195610071013557,
            0.3145853193517636,
            0.30976220275344185,
            0.30508474576271194,
            0.3005464480874317,
            0.29614119054741256,
            0.2918632075471698,
            0.2877070619006103,
            0.28366762177650434,
            0.2797400395591975,
            0.27591973244147155,
            0.2722023645861974,
            0.2685838307107976,
            0.2650602409638554,
            0.2616279069767442,
            0.2582833289851291,
            0.2550231839258114,
            0.2518443144238108,
            0.24874371859296482,
            0.2457185405807893,
            0.24276606179499755,
            0.23988369275502786,
            0.23706896551724138,
            0.23431952662721897,
            0.23163313055685544,
            0.22900763358778628,
            0.22644098810612995,
            0.22393123727663425,
            0.2214765100671141,
            0.21907501659659218,
            0.21672504378283713,
            0.21442495126705655,
            0.21217316759537078,
            0.20996818663838815,
            0.20780856423173805,
            0.20569291502181591,
            0.20361990950226247,
            0.20158827122785583,
            0.1995967741935484,
            0.1976442403673388,
            0.19572953736654805,
            0.19385157626786764,
            0.19200930954228085,
            0.19020172910662825,
            0.1884278644842025,
            0.1866867810673204,
            0.18497757847533633,
            0.18329938900203668,
            0.181651376146789,
            0.1800327332242226,
            0.17844268204758473,
            0.17688047168125784,
            0.17534537725823596,
            0.17383669885864797,
            0.17235376044568246,
            0.1708959088555153,
            0.16946251283806918,
            0.1680529621456459,
            0.16666666666666669
          ]
        },
        {
          "label": "Prevalence 0.5",
          "y": [
            0.989010989010989,
            0.9836608522852727,
            0.97836828813001,
            0.973132372214941,
            0.9679521998913634,
            0.9628268856710611,
            0.9577555627217027,
            0.952737382378101,
            0.9477715136687586,
            0.9428571428571428,
            0.9379934729971576,
            0.9331797235023042,
            0.9284151297280401,
            0.923698942566867,
            0.9190304280556988,
            0.914408866995074,
            0.909833554579802,
            0.9053038000406421,
            0.9008189262966333,
            0.8963782696177063,
            0.8919811792972269,
            0.8876270173341303,
            0.8833151581243184,
            0.8790449881610103,
            0.8748159057437408,
            0.8706273206957201,
            0.8664786540892736,
            0.8623693379790941,
            0.8582988151430498,
            0.8542665388302972,
            0.8502719725164615,
            0.8463145896656535,
            0.8423938734991018,
            0.8385093167701865,
            0.8346604215456674,
            0.8308466989929131,
            0.8270676691729324,
            0.8233228608390316,
            0.8196118112409163,
            0.8159340659340659,
            0.81228917859422,
            0.8086767108368126,
            0.8050962320412036,
            0.8015473191795611,
            0.7980295566502463,
            0.7945425361155698,
            0.7910858563437806,
            0.7876591230551626,
            0.7842619487721152,
            0.7808939526730938,
            0.777554760450301,
            0.7742440041710114,
            0.7709613221424245,
            0.7677063587799415,
            0.7644787644787645,
            0.7612781954887218,
            0.7581043137922232,
            0.7549567869852567,
            0.7518352881613367,
            0.7487394957983193,
            0.745669093648004,
            0.742623770628438,
            0.7396032207188512,
            0.7366071428571428,
            0.7336352408398519,
            0.7306872232245366,
            0.7277628032345013,
            0.7248616986657989,
            0.7219836317964509,
            0.7191283292978209,
            0.7162955221480827,
            0.7134849455477258,
            0.7106963388370424,
            0.707929445415541,
            0.705184012663237,
            0.7024597918637654,
            0.6997565381292703,
            0.6970740103270224,
            0.6944119710077157,
            0.6917701863354038,
            0.689148426019027,
            0.6865464632454923,
            0.6839640746142627,
            0.681401040073417,
            0.6788571428571429,
            0.6763321694246243,
            0.6738259094002873,
            0.6713381555153707,
            0.6688687035507844,
            0.6664173522812267,
            0.6639839034205232,
            0.6615681615681616,
            0.6591699341569875,
            0.6567890314020345,
            0.6544252662504592,
            0.6520784543325527,
            0.6497484139138044,
            0.6474349658479872,
            0.6451379335312432,
            0.6428571428571429
          ]
        }
      ],
      "xlabel": "Verifier false-positive rate",
      "ylabel": "Positive predictive value",
      "logx": false,
      "logy": false
    }
  ],
  "title": "Sampling availability and verifier precision are separate",
  "assumptions": "Independent candidates p=0.25. Verifier sensitivity 0.9; prevalence fixed as labeled. No language-model evaluation.",
  "worked": "独立成功率0.25时，8次至少一次成功的概率约0.900；但若验证器敏感度0.9、假阳性率0.1、候选正确率0.1，其阳性预测值仅0.5。候选存在不等于最终选中。",
  "source_ids": [
    "cot",
    "consistency",
    "verify",
    "arxiv-2211.17192"
  ],
  "formula_source": "Article equations and this versioned script",
  "diagram_nodes": [
    "固定问题与判定标准",
    "候选采样 / 搜索",
    "候选集合与相关错误",
    "工具 / 形式或数值检查",
    "选择规则与接受阈值",
    "答案及可追溯验证证据"
  ]
}