{"id":"W2576157276","doi":"10.1017/s0960129520000018","title":"A cubical Squier’s theorem","year":2020,"lang":"en","type":"preprint","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Combinatorics","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","scholarly_communication","open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.001356505,0.000540947,0.0008088273,0.0003103931,0.0002162685,0.001806521,0.007680852,0.0002761491,0.00004164724],"category_scores_gemma":[0.0002818378,0.0004029426,0.0002194813,0.001127362,0.0009989868,0.0003697637,0.009452033,0.00110516,0.0001203024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002011571,"about_ca_system_score_gemma":0.0004703684,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001999328,"about_ca_topic_score_gemma":0.000003303892,"domain_scores_codex":[0.994648,0.0001802599,0.0008331387,0.001906457,0.00150031,0.0009318763],"domain_scores_gemma":[0.9969327,0.0002709246,0.0002895201,0.001904314,0.0001475687,0.0004549533],"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.000002749023,0.00005187061,0.0001002936,0.0001945326,0.000008089447,0.0001117499,0.001399075,0.0005028612,0.00002808101,0.9465954,0.0001884769,0.05081688],"study_design_scores_gemma":[0.0001226153,0.00003902148,0.0004508573,0.00002664131,0.000003738312,0.00006887675,0.000004363349,0.3635601,0.0001353274,0.6349748,0.0002984474,0.0003152465],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001576333,0.0001402059,0.9904633,0.001264147,0.002439795,0.0006536345,0.000001544442,0.0004225631,0.003038515],"genre_scores_gemma":[0.7641049,0.000002876355,0.2348738,0.0005504279,0.0004029598,0.0000359409,0.000001809266,0.00001654262,0.00001071986],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7625286,"threshold_uncertainty_score":0.9998422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0354516409632917,"score_gpt":0.2899376369134072,"score_spread":0.2544859959501156,"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."}}