{"id":"W138020119","doi":"","title":"Taking architecture and compiler into account in formal proofs of numerical programs","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Compiler; Computer science; Mathematical proof; Computation; Programming language; Parallel computing; Code (set theory); Architecture; Rounding; Optimizing compiler; Point (geometry); Floating point; Compiler correctness; Set (abstract data type); Mathematics; Operating system","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.007102751,0.001000118,0.0007247364,0.001304694,0.001580662,0.003831574,0.001934361,0.001854801,0.004173008],"category_scores_gemma":[0.0334846,0.00155544,0.002295996,0.001270249,0.005029683,0.00789598,0.003329547,0.003684032,0.001293579],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001832417,"about_ca_system_score_gemma":0.003380694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001767509,"about_ca_topic_score_gemma":0.002630544,"domain_scores_codex":[0.9909555,0.004419861,0.000811799,0.001031711,0.002145527,0.0006356401],"domain_scores_gemma":[0.9721672,0.01888354,0.001568449,0.004588807,0.002574704,0.0002172012],"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.00008792933,0.00003107346,0.0008356262,0.0007063711,0.00005333855,0.0003745755,0.001081199,0.02908889,0.007936526,0.9016076,0.001564383,0.05663246],"study_design_scores_gemma":[0.00007857011,0.0002097954,0.0007964212,0.0006016644,0.0001942223,0.0007692969,0.0003674442,0.09718401,0.03290087,0.7946945,0.07207705,0.0001260305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006599114,0.0006503004,0.9869702,0.0007145756,0.0001712917,0.00004891735,0.00004901541,0.0007430945,0.004053448],"genre_scores_gemma":[0.1935771,0.001974412,0.7953684,0.0006240142,0.0003320811,0.0002643403,0.0001636865,0.001111431,0.006584571],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007102751,"threshold_uncertainty_score":0.03756344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02048321294900034,"score_gpt":0.2664808879839192,"score_spread":0.2459976750349189,"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."}}