{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01112098,0.001267795,0.0009370928,0.00202055,0.001084061,0.004499398,0.003416962,0.001312174,0.005024362],"category_scores_gemma":[0.01591412,0.0007072362,0.003101524,0.001437402,0.005606436,0.005121909,0.002993748,0.003437731,0.001274528],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002060876,"about_ca_system_score_gemma":0.002853116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00156632,"about_ca_topic_score_gemma":0.001055865,"domain_scores_codex":[0.990594,0.003241223,0.0008904804,0.001063615,0.003539701,0.00067097],"domain_scores_gemma":[0.9794893,0.01464344,0.0010077,0.002831883,0.001822748,0.0002048348],"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.00004398466,0.0001040881,0.0004037412,0.0002939729,0.00005381881,0.000370909,0.0003570443,0.05778464,0.004117182,0.9084357,0.001204818,0.02683016],"study_design_scores_gemma":[0.00007556991,0.00008649157,0.0001872165,0.0001249273,0.00006859072,0.0002318961,0.00006209261,0.2796839,0.01341822,0.6934356,0.01257613,0.00004929979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002033299,0.00007413361,0.9952442,0.0001348431,0.00002386136,0.00005611862,0.00008048755,0.0004445466,0.001908545],"genre_scores_gemma":[0.1962475,0.0006886066,0.7984669,0.0003745407,0.000228263,0.0005228523,0.0004476293,0.0003356322,0.002688124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01112098,"threshold_uncertainty_score":0.05881405,"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."}}