{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00141552,0.0002543411,0.0003411311,0.001044754,0.001429869,0.001750789,0.0006506696,0.0006232006,0.01144444],"category_scores_gemma":[0.002817188,0.0002537189,0.0007897237,0.0006237417,0.00311312,0.003575867,0.003368807,0.002033441,0.000973286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00133912,"about_ca_system_score_gemma":0.0006924703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003855206,"about_ca_topic_score_gemma":0.002606299,"domain_scores_codex":[0.9985847,0.0002246995,0.00007600208,0.0003103442,0.0006012497,0.0002029496],"domain_scores_gemma":[0.9982936,0.0005769863,0.00008744767,0.0003087489,0.0005923937,0.0001407938],"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.00000940489,0.000007559751,0.0001829146,0.00003251646,0.000005385145,0.0001589481,0.0003341372,0.0001797207,0.001007827,0.9902583,0.001774128,0.006049103],"study_design_scores_gemma":[0.0000153514,0.00003050553,0.000562466,0.00002602485,0.00001528405,0.0005514933,0.0002309667,0.003031103,0.003173129,0.9376953,0.05464683,0.00002144471],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1420003,0.002441464,0.4363656,0.00787492,0.001061921,0.0001580214,0.0006076539,0.001411139,0.408079],"genre_scores_gemma":[0.9136975,0.0007274395,0.04181521,0.001677125,0.0005944876,0.00006430895,0.0002600415,0.0002218095,0.04094191],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01144444,"threshold_uncertainty_score":0.03828549,"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."}}