{"id":"W2296022720","doi":"10.48550/arxiv.cs/0703026","title":"Formal proof for delayed finite field arithmetic using floating point operators","year":2007,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Rewriting; Computer science; Proof assistant; Field (mathematics); Arithmetic; Formal proof; Code (set theory); Point (geometry); Finite field; Floating point; Proof complexity; Theoretical computer science; Programming language; Mathematics; Discrete 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001416136,0.0004099881,0.0005383664,0.0001929093,0.0003180646,0.0002613226,0.001234958,0.0003534739,0.00001427159],"category_scores_gemma":[0.0007061117,0.0003688343,0.0003047346,0.0003779159,0.00004452807,0.0004317384,0.001836258,0.0008136984,0.00001047463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009921221,"about_ca_system_score_gemma":0.0002039785,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001729947,"about_ca_topic_score_gemma":0.000004733757,"domain_scores_codex":[0.9971491,0.0001203822,0.0007043032,0.0008913007,0.000318828,0.0008160699],"domain_scores_gemma":[0.9975165,0.0008119419,0.0003291333,0.0008858406,0.0002426936,0.0002139668],"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.0001101058,0.0004427464,0.01772317,0.0008406452,0.0004029393,0.0001632348,0.002401412,0.01663395,0.004283953,0.004570575,0.0002508273,0.9521765],"study_design_scores_gemma":[0.0005958994,0.0004349236,0.001226682,0.0003242806,0.0000617591,0.00002138255,0.00005937444,0.9509419,0.03645362,0.007555624,0.00138343,0.0009411783],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1318661,0.0001896896,0.8647985,0.0004327067,0.001702292,0.0006791043,0.00001017768,0.0001377656,0.0001836177],"genre_scores_gemma":[0.1648312,0.000009276577,0.8332313,0.001199579,0.0005633297,0.00004916598,0.000007612527,0.00003632454,0.00007217524],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9512353,"threshold_uncertainty_score":0.9998764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08182958631761202,"score_gpt":0.3469505712361439,"score_spread":0.2651209849185319,"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."}}