{"id":"W4384111919","doi":"10.48550/arxiv.2307.04960","title":"Simple Reference Immutability for System F-sub","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Immutability; Soundness; Programming language; Scala; Computer science; Inheritance (genetic algorithm); Java; Simple (philosophy); Construct (python library); Context (archaeology); Subtyping; Completeness (order theory); Blockchain; Mathematics; Philosophy; Epistemology","routes":{"ca_aff":true,"ca_fund":true,"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"],"consensus_categories":[],"category_scores_codex":[0.0007585071,0.0003479465,0.0004972594,0.000180502,0.0002545365,0.0002225102,0.002359441,0.0004063306,0.000003583623],"category_scores_gemma":[0.00007097547,0.0003636991,0.0003096388,0.0005176621,0.00008872689,0.0002446725,0.002011836,0.0003984907,0.0001669886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003937086,"about_ca_system_score_gemma":0.0002565448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006200246,"about_ca_topic_score_gemma":0.000143968,"domain_scores_codex":[0.9972963,0.000181739,0.0003245344,0.001541888,0.000120925,0.0005345685],"domain_scores_gemma":[0.9969919,0.0002387233,0.0003523682,0.001925586,0.0003113112,0.0001801401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002013041,0.00005077306,0.00246235,0.0008045175,0.0000881189,0.0001039187,0.0001633607,0.006899693,0.00002671648,0.9882336,0.000494632,0.0006521646],"study_design_scores_gemma":[0.001025798,0.0002317024,0.003022345,0.00008319777,0.0001425035,0.00001174243,0.0005303439,0.5358894,0.0004191318,0.4460081,0.01128752,0.001348199],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03957094,0.00004827512,0.9541814,0.00003258217,0.001625613,0.001037293,0.0000295275,0.001333927,0.002140487],"genre_scores_gemma":[0.9979953,0.00002085421,0.0004561033,0.00001550941,0.0001288815,0.00001416749,0.00007092996,0.00002066663,0.001277631],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9584243,"threshold_uncertainty_score":0.9998815,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1467438078105099,"score_gpt":0.2172503197020708,"score_spread":0.0705065118915609,"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."}}