{"id":"W4393904285","doi":"10.4204/eptcs.401.2","title":"Towards a Semantic Characterisation of Global Type Well-formedness","year":2024,"lang":"en","type":"preprint","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Geological Modeling and Analysis","field":"Earth and Planetary Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Oxford; Canadian Institute of Steel Construction; Agence Nationale de la Recherche; Queen Mary University of London","keywords":"Natural language processing; Computer science; Type (biology); Artificial intelligence; Geology; Paleontology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"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.01101409,0.0009054103,0.001392862,0.0021789,0.001764209,0.007184411,0.002527773,0.002835841,0.005762929],"category_scores_gemma":[0.0163178,0.001016938,0.002867899,0.002401988,0.009785285,0.02362276,0.006266682,0.007010806,0.001192349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001762303,"about_ca_system_score_gemma":0.001852359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006380636,"about_ca_topic_score_gemma":0.0005160086,"domain_scores_codex":[0.9934812,0.002125903,0.0007388312,0.001395333,0.001605824,0.0006530128],"domain_scores_gemma":[0.9810231,0.007852616,0.001746188,0.005953083,0.002721736,0.0007032889],"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.00001473087,0.000009465927,0.000195035,0.00003949643,0.000009319544,0.00005197073,0.0004186734,0.001942366,0.001037812,0.9929508,0.0001856437,0.003144645],"study_design_scores_gemma":[0.000006170013,0.0000212117,0.00008316286,0.00002206968,0.0000144382,0.0000957395,0.0001556267,0.01048125,0.002055471,0.9835637,0.003486671,0.00001452816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.020172,0.0001762807,0.9726332,0.000618577,0.00007071684,0.00005891772,0.000194355,0.0003302481,0.00574572],"genre_scores_gemma":[0.6093618,0.0006344719,0.3822696,0.0005424127,0.000416832,0.0003716563,0.0007686085,0.0007171885,0.004917347],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01101409,"threshold_uncertainty_score":0.05824876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00883522109306321,"score_gpt":0.2385865628348224,"score_spread":0.2297513417417592,"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."}}