{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01121484,0.00143527,0.001355763,0.002555911,0.003880077,0.007196097,0.003871667,0.004841766,0.02506395],"category_scores_gemma":[0.02994009,0.0007922858,0.002613697,0.002361157,0.01529114,0.02548191,0.005699119,0.008636711,0.002046058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003056275,"about_ca_system_score_gemma":0.00134522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004269814,"about_ca_topic_score_gemma":0.002546458,"domain_scores_codex":[0.9894846,0.005856338,0.0006497783,0.001420357,0.001747943,0.0008408676],"domain_scores_gemma":[0.9678812,0.02724129,0.001126986,0.001433551,0.001519322,0.0007975688],"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.00001574931,0.00001119986,0.000101226,0.00007331722,0.000005939688,0.00006882111,0.0004689137,0.0005848353,0.00005281159,0.9945235,0.002003907,0.002089815],"study_design_scores_gemma":[0.000009868389,0.00001261657,0.00009086735,0.0000444215,0.00000448447,0.00003488662,0.0001618656,0.0008638134,0.00006103111,0.9900597,0.008648058,0.000008250428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02548617,0.0199766,0.5784868,0.1396023,0.003620008,0.0003405913,0.0008945873,0.000892961,0.2307],"genre_scores_gemma":[0.6706331,0.01759053,0.2248038,0.03061276,0.008208566,0.001433126,0.0007099313,0.0009368993,0.04507134],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02506395,"threshold_uncertainty_score":0.08384728,"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."}}