{"id":"W2152795079","doi":"10.1093/comjnl/bxp023","title":"Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL","year":2009,"lang":"en","type":"article","venue":"The Computer Journal","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Library science; Computer science; Point (geometry); Art history; Management; History; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.001054621,0.0001226508,0.0001992107,0.00009127095,0.000312351,0.000228615,0.0005389235,0.00002831237,0.00002082611],"category_scores_gemma":[0.0000103666,0.00008392019,0.0001348728,0.0002099125,0.00002604053,0.0004416941,0.00008289491,0.0002367426,0.00000298732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003953895,"about_ca_system_score_gemma":0.00006455865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002201713,"about_ca_topic_score_gemma":3.131127e-7,"domain_scores_codex":[0.9984616,0.0003645292,0.0004243331,0.0001704896,0.0003333551,0.0002456836],"domain_scores_gemma":[0.9990903,0.0001225992,0.0003637438,0.0002437306,0.0001020683,0.00007752056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001885405,0.00004073355,0.00002926591,0.000003561362,0.00003368287,0.000008764796,0.0007448277,0.001247418,0.03893371,0.001146457,0.0001084556,0.9576843],"study_design_scores_gemma":[0.001654133,0.0009525881,0.008242583,0.0001263179,0.00008810843,0.000753633,0.0001970523,0.9137278,0.03791034,0.03561331,0.0003725224,0.0003615869],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0768894,0.00005505878,0.9210114,0.0005201141,0.00138009,0.00009212555,4.212069e-7,0.00003323124,0.00001817806],"genre_scores_gemma":[0.468802,0.000007021511,0.5302688,0.0003358538,0.0005792676,4.577682e-7,1.619247e-7,0.000004705439,0.000001786796],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9573227,"threshold_uncertainty_score":0.3422166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03781534554123004,"score_gpt":0.3276752101126267,"score_spread":0.2898598645713967,"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."}}