{"id":"W4396981003","doi":"10.1145/3665453.3665457","title":"A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott","year":2024,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Categorical variable; Semantics (computer science); Cognitive science; Psychology; Mathematics; Geometry; Algebra over a field; Computer science; Pure mathematics; Programming language; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003057985,0.001002636,0.001514872,0.004086519,0.002731511,0.005382992,0.002093712,0.001944714,0.009747006],"category_scores_gemma":[0.005686061,0.001041768,0.001171989,0.009459223,0.008617735,0.01786366,0.003344377,0.004143097,0.003183702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004861531,"about_ca_system_score_gemma":0.00210942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007722713,"about_ca_topic_score_gemma":0.003997414,"domain_scores_codex":[0.9977461,0.0009437522,0.0001999234,0.0003682214,0.0005410571,0.0002009221],"domain_scores_gemma":[0.9972358,0.001905403,0.0001278494,0.0002099118,0.0003770695,0.0001440054],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002163053,0.00001761786,0.0002125583,0.0004224184,0.00001194996,0.00009148681,0.00111382,0.0008085838,0.0001853731,0.9482238,0.01746812,0.03142272],"study_design_scores_gemma":[0.00001184319,0.00005660069,0.0006522239,0.0004550429,0.0000156662,0.0004001995,0.000619354,0.001145807,0.0001922914,0.5526719,0.4437312,0.00004791193],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.01072675,0.5241151,0.2027191,0.02927797,0.005234173,0.0001006701,0.000592005,0.000517434,0.2267167],"genre_scores_gemma":[0.3218372,0.5073678,0.07537878,0.008703022,0.0140519,0.0004409537,0.001596848,0.0008245477,0.06979898],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.009747006,"threshold_uncertainty_score":0.03527308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06361505629553076,"score_gpt":0.3058626743424644,"score_spread":0.2422476180469337,"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."}}