{"id":"W2552400520","doi":"","title":"Some Remarks on Relations between Proofs and Games","year":2010,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Computer science; Mathematical economics; Mathematics; Geometry","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.005249328,0.0003692329,0.0004116088,0.0002578365,0.0005147012,0.0008348679,0.00215047,0.0005219107,0.00004190138],"category_scores_gemma":[0.002376563,0.0003566722,0.0001701609,0.0003066634,0.0002726679,0.0003269458,0.002681076,0.001421301,0.00009742119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001158965,"about_ca_system_score_gemma":0.0003846849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002349953,"about_ca_topic_score_gemma":0.0005621703,"domain_scores_codex":[0.9948963,0.002634139,0.0004694863,0.001097997,0.0005087011,0.0003933617],"domain_scores_gemma":[0.9929333,0.001931355,0.0004818219,0.002923586,0.001460622,0.0002692566],"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.000003077292,0.0002926625,0.006824094,0.00009597509,0.00006406799,0.000004795811,0.008330109,0.00001249469,0.0002915267,0.8768947,0.002295198,0.1048913],"study_design_scores_gemma":[0.002098443,0.000005962396,0.2344286,0.00580707,0.0002043533,0.00004425609,0.00009466081,0.08343159,0.03947828,0.5053099,0.1259718,0.003125089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09590445,0.004146694,0.5581295,0.03236276,0.00124314,0.001374747,0.0000716158,0.001224439,0.3055426],"genre_scores_gemma":[0.8886823,0.0003748846,0.09569941,0.0001220248,0.0001399901,0.00009004105,0.0001456715,0.00004055175,0.01470512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7927778,"threshold_uncertainty_score":0.9998885,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01447228946677676,"score_gpt":0.2329414310960216,"score_spread":0.2184691416292448,"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."}}