{"id":"W2620964604","doi":"","title":"Safe Incremental Type Checking","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Programming language","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"],"consensus_categories":[],"category_scores_codex":[0.006112406,0.0003607324,0.0003859468,0.0001671281,0.0003645095,0.0008295098,0.002808271,0.0003260199,0.0001376941],"category_scores_gemma":[0.0005193777,0.0003604996,0.0001979401,0.0004417714,0.0001362288,0.0003236228,0.003692808,0.0006498161,0.0003042177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001763605,"about_ca_system_score_gemma":0.0002763161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001585542,"about_ca_topic_score_gemma":0.000385893,"domain_scores_codex":[0.9944535,0.003080945,0.000529922,0.000826637,0.0005605523,0.0005484831],"domain_scores_gemma":[0.9947273,0.000436249,0.0005558369,0.002724066,0.001310994,0.0002455405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004501746,0.0004527905,0.004712105,0.000185618,0.0001004482,0.000007484835,0.01148595,0.00001150195,0.001500944,0.8673643,0.001297623,0.1128767],"study_design_scores_gemma":[0.002875975,0.000004450204,0.02363233,0.00219899,0.0002608208,0.0002019108,0.0005381179,0.06917895,0.1615523,0.108417,0.6259886,0.005150552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008282345,0.002825448,0.7913183,0.002643169,0.001739789,0.000581123,0.000005224586,0.0005975237,0.1920071],"genre_scores_gemma":[0.9284925,0.0001670456,0.06500728,0.0001014,0.00009156056,0.00004459454,0.0001485705,0.00003363509,0.0059134],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9202102,"threshold_uncertainty_score":0.9998847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02904349593289425,"score_gpt":0.2476453188392435,"score_spread":0.2186018229063492,"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."}}