{"id":"W2246156274","doi":"10.5802/jtnb.962","title":"On the equivalence of types","year":2017,"lang":"fr","type":"preprint","venue":"Journal de Théorie des Nombres de Bordeaux","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Monic polynomial; Equivalence (formal languages); Mathematics; ENCODE; Prime (order theory); Combinatorics; Type (biology); Pure mathematics; Discrete mathematics; Polynomial; Mathematical analysis","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","research_integrity","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.005854207,0.0006414385,0.0009525642,0.000187882,0.001124624,0.0004307081,0.00271583,0.0006876604,0.002281732],"category_scores_gemma":[0.007567915,0.0004660881,0.000753178,0.0001661282,0.001320577,0.0002146637,0.0008412635,0.003101074,0.000239725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005574443,"about_ca_system_score_gemma":0.001287625,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008006173,"about_ca_topic_score_gemma":0.00001389933,"domain_scores_codex":[0.99572,0.001040562,0.001069564,0.0004089664,0.0007453912,0.001015539],"domain_scores_gemma":[0.9910752,0.004105515,0.002114482,0.001743661,0.0005606365,0.0004005566],"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.0004979151,0.000465939,0.00157769,0.001071033,0.0008763688,0.0002712763,0.002694516,0.0006883435,0.0003587239,0.9739655,0.009099578,0.008433097],"study_design_scores_gemma":[0.0004322648,0.0003569119,0.003767281,0.002955754,0.0005112361,0.00112735,0.000577518,0.0003495158,0.002342528,0.9795776,0.007544986,0.0004570244],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8588283,0.006317086,0.01501517,0.00607687,0.002565201,0.0004930078,0.0001255839,0.00005127682,0.1105275],"genre_scores_gemma":[0.9664294,0.004633151,0.006227254,0.0003821256,0.001338518,0.00002232334,0.000003947425,0.0001067285,0.02085657],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1076011,"threshold_uncertainty_score":0.9997791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04199909229561782,"score_gpt":0.3176093707306623,"score_spread":0.2756102784350445,"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."}}