{"id":"W4322825430","doi":"","title":"Correct Code Containing Containers","year":2011,"lang":"en","type":"preprint","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Code (set theory); 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.0004585066,0.0002927961,0.0003848052,0.0001861892,0.00009738073,0.0002596453,0.001949699,0.0002638093,0.00004464462],"category_scores_gemma":[0.00006695874,0.0002747659,0.0001417259,0.000141108,0.00004430477,0.0001266495,0.002161457,0.0005214849,0.00004912001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007002309,"about_ca_system_score_gemma":0.0002263286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002588229,"about_ca_topic_score_gemma":0.00001633717,"domain_scores_codex":[0.9982797,0.0001149087,0.0003699658,0.0007083129,0.0002078956,0.000319215],"domain_scores_gemma":[0.998284,0.00009228301,0.0002620659,0.001051155,0.0001940354,0.0001164059],"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.00005487452,0.0002214788,0.001901368,0.0001375524,0.0002763008,0.0001268389,0.005284905,0.04038342,0.0000886921,0.7763441,0.1139054,0.06127515],"study_design_scores_gemma":[0.0004191126,0.00021778,0.0001608736,0.0002316133,0.0000202557,0.00003091705,0.00004479248,0.9367352,0.004053399,0.04881515,0.008117677,0.0011532],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001911635,0.0001338112,0.8680224,0.000199731,0.0009288571,0.0002268258,0.00000204858,0.002511312,0.1277839],"genre_scores_gemma":[0.4418801,0.00006297974,0.5549368,0.001004245,0.00007515735,0.00003968204,0.00001679467,0.00002126354,0.001962979],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8963518,"threshold_uncertainty_score":0.9999704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0450353672670204,"score_gpt":0.2833482580145089,"score_spread":0.2383128907474885,"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."}}