{"id":"W2964095253","doi":"10.48550/arxiv.1307.8213","title":"Formal Analysis of Soft Errors using Theorem Proving","year":2013,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Computer science; Algorithm; Random variable; Theoretical computer science; Electronic circuit; Mathematics; Statistics","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.00010341,0.0001056937,0.0001760059,0.0003503933,0.00005259563,0.00001180624,0.0001781127,0.00006394488,0.0001185453],"category_scores_gemma":[0.00001826378,0.0001210134,0.0001194912,0.001202058,0.00004285062,0.0005045595,0.00002971623,0.0001039606,0.00001737215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001629022,"about_ca_system_score_gemma":0.00002152377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000892635,"about_ca_topic_score_gemma":0.00003488198,"domain_scores_codex":[0.9994015,0.00002729497,0.0001148432,0.0001482965,0.00004270989,0.0002653831],"domain_scores_gemma":[0.9995359,0.00006686591,0.00005547913,0.0002367996,0.00005027585,0.00005463884],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002716442,0.000009096138,0.003821838,0.0000179898,0.0003558873,0.000002559375,0.00008945577,0.9838619,0.001114149,0.01024541,0.00001208584,0.0004668627],"study_design_scores_gemma":[0.0001286937,0.00001598176,0.003726522,0.000005065229,0.0003464457,5.114632e-7,0.00008451872,0.9941529,0.0007296475,0.0006614858,0.00002257227,0.0001256581],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8269687,0.00002307989,0.1713955,0.000001617644,0.0000502535,0.0001038922,0.000002148662,0.0001063206,0.001348466],"genre_scores_gemma":[0.9996094,0.000005618726,0.0002659522,0.000007382948,0.00001226394,2.741998e-7,0.000003638756,0.00001597067,0.00007952285],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1726407,"threshold_uncertainty_score":0.4934781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02023002297297132,"score_gpt":0.1549664403897925,"score_spread":0.1347364174168211,"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."}}