{"id":"W4289783938","doi":"","title":"Proofs of numerical programs when the compiler optimizes","year":2011,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Compiler; Mathematical proof; Computer science; Programming language; Parallel computing; Mathematics; Geometry","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.004407078,0.001516552,0.000959879,0.001260665,0.001513939,0.00361941,0.002017784,0.001405784,0.01800094],"category_scores_gemma":[0.04714025,0.001438835,0.001910911,0.001160615,0.002960615,0.006761625,0.003719176,0.003362371,0.003870373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001291858,"about_ca_system_score_gemma":0.001921895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006040516,"about_ca_topic_score_gemma":0.001126439,"domain_scores_codex":[0.9932899,0.002639358,0.0004443889,0.0006604565,0.002224004,0.0007417973],"domain_scores_gemma":[0.9569641,0.0318526,0.001790624,0.005363123,0.003434357,0.0005952482],"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.001236536,0.0002696753,0.00375764,0.001923692,0.0002231703,0.001191836,0.001214349,0.02401873,0.02268003,0.7343267,0.05734528,0.1518123],"study_design_scores_gemma":[0.0002495285,0.0001424485,0.001612471,0.0002408735,0.0001597799,0.0004482715,0.0001947144,0.06067009,0.05064588,0.8574077,0.02812423,0.0001040057],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06140918,0.0009698226,0.8819998,0.004012748,0.0009598768,0.0001922625,0.00110816,0.01203686,0.03731129],"genre_scores_gemma":[0.5831326,0.0009688005,0.3795898,0.001564715,0.0009567674,0.0003965702,0.002640839,0.01163127,0.01911864],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01800094,"threshold_uncertainty_score":0.06021911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0311832578369751,"score_gpt":0.2366826916201283,"score_spread":0.2054994337831532,"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."}}