{"id":"W6948327435","doi":"10.48550/arxiv.2311.10577","title":"Contextual Refinement Types","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"sort; Mathematical proof; Extension (predicate logic); Sorting; Sorting algorithm; State (computer science); Type (biology)","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003220833,0.0002592854,0.0003083009,0.0001894707,0.0001324162,0.0001662079,0.001713049,0.0002417176,0.00003056153],"category_scores_gemma":[0.00003277524,0.0002650137,0.0001872172,0.0004230773,0.00007399925,0.0001505174,0.002142515,0.000363282,0.001177083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001398889,"about_ca_system_score_gemma":0.000151763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005883157,"about_ca_topic_score_gemma":0.0002046692,"domain_scores_codex":[0.9982368,0.000109999,0.0001968109,0.0009788964,0.0001135597,0.000363954],"domain_scores_gemma":[0.9982998,0.00007161119,0.0002067102,0.001149398,0.0001352858,0.000137238],"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.000007999649,0.0000524355,0.00137199,0.00006990167,0.0001115765,0.0004106773,0.0002725812,0.006292136,0.000005980202,0.9869441,0.002940643,0.001519967],"study_design_scores_gemma":[0.001706978,0.0003870522,0.003186152,0.0000946761,0.0001904877,0.00001773804,0.0004834226,0.2526576,0.0001752746,0.6190391,0.1200353,0.002026267],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01373873,0.0001592465,0.9653993,0.0002641905,0.003157873,0.0004688015,0.000006219771,0.001195706,0.01560998],"genre_scores_gemma":[0.9797577,0.00007825759,0.0003213444,0.0000713537,0.0001451125,0.000002058246,0.00001685827,0.00001772982,0.01958963],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9660189,"threshold_uncertainty_score":0.9999802,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1242313192746725,"score_gpt":0.206542458036005,"score_spread":0.08231113876133254,"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."}}