{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01158897,0.001093795,0.001379878,0.002870997,0.002143635,0.005402696,0.005358757,0.001878571,0.01715026],"category_scores_gemma":[0.02644681,0.002052588,0.002926532,0.002753792,0.004581945,0.01362537,0.009295053,0.004538781,0.004968981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002058916,"about_ca_system_score_gemma":0.004020581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004737644,"about_ca_topic_score_gemma":0.006152686,"domain_scores_codex":[0.989255,0.002656905,0.00112614,0.001915509,0.004028874,0.001017586],"domain_scores_gemma":[0.9766704,0.007166062,0.001009185,0.01006145,0.004400385,0.0006923628],"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.0001093116,0.00004114433,0.0007457153,0.0001875405,0.00002831186,0.0001316925,0.0004678652,0.003700467,0.001948862,0.9525996,0.003822198,0.03621727],"study_design_scores_gemma":[0.0001389263,0.0001225688,0.0004086461,0.0003001592,0.0001795701,0.0005186143,0.000260085,0.04529638,0.01717643,0.6776697,0.2577759,0.0001530552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004618216,0.0002437277,0.9785282,0.0005165884,0.0002161176,0.0002085449,0.0004136061,0.004495992,0.010759],"genre_scores_gemma":[0.1316385,0.0005294986,0.8529497,0.0008288681,0.0002298654,0.0004314591,0.0006675649,0.001849727,0.01087496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01715026,"threshold_uncertainty_score":0.06128907,"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."}}