{"id":"W4416710503","doi":"10.1090/mbk/154/47","title":"Sketch of technical proofs","year":2025,"lang":"en","type":"book-chapter","venue":"American Mathematical Society eBooks","topic":"History of Computing Technologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000371038,0.0004567208,0.001112958,0.0001112058,0.0001147414,0.00004316162,0.002638682,0.0004023084,0.00002857599],"category_scores_gemma":[0.0001430682,0.0004226077,0.0007796335,0.00009364594,0.002274404,0.00003835902,0.001540327,0.0008068396,0.0000720186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002388197,"about_ca_system_score_gemma":0.0003225465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003912056,"about_ca_topic_score_gemma":0.000001023885,"domain_scores_codex":[0.9974846,0.00002205138,0.0007518234,0.000692099,0.0006558117,0.0003935861],"domain_scores_gemma":[0.9967609,0.0005602911,0.0006454291,0.001782329,0.0001542169,0.00009684275],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001271095,0.00002783685,4.667156e-7,0.0002073361,0.00008367356,0.00000434608,0.000214022,3.86409e-7,0.00007225331,0.9169132,0.01790003,0.06457522],"study_design_scores_gemma":[0.0001256798,0.0002387866,0.00000321683,0.0006711717,0.00007302377,0.00002038147,0.00002665632,0.001515248,0.0003655591,0.8659432,0.1304325,0.0005845767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.000009717206,0.00007613254,0.2879443,0.0006083262,0.00006509709,0.000343693,0.000004271863,0.001065698,0.7098827],"genre_scores_gemma":[0.003060498,0.00001448605,0.6471166,0.0004406614,0.00004556759,0.00003540617,0.000001625915,0.00005009801,0.3492351],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3606477,"threshold_uncertainty_score":0.9998226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01333838268862855,"score_gpt":0.242519783903328,"score_spread":0.2291814012146995,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}