{"id":"W2127599966","doi":"10.1145/2228360.2228390","title":"Incremental power grid verification","year":2012,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Context (archaeology); Key (lock); Power (physics); Formal verification; Construct (python library); Runtime verification; Iterative method; Port (circuit theory); Power grid; Distributed computing; Algorithm; Electronic engineering; Engineering","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001106151,0.00008542475,0.00006009956,0.00004821522,0.00002739122,0.00001438057,0.00008036764,0.00004071361,0.001113888],"category_scores_gemma":[0.000003180401,0.00007793001,0.00001969289,0.00009720917,0.00001069077,0.0004501646,0.00001202018,0.00006429311,0.001954119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006916876,"about_ca_system_score_gemma":0.00000333174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004993823,"about_ca_topic_score_gemma":7.225737e-7,"domain_scores_codex":[0.9994812,0.000005891924,0.0001080047,0.00006001447,0.0001101933,0.0002347016],"domain_scores_gemma":[0.9997355,0.000007576724,0.000008458212,0.0001700951,0.000009498413,0.00006889953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002320103,0.0002339461,0.07197321,0.0001022931,0.0001592658,0.000002494438,0.002690627,0.001693075,0.5762612,0.01136621,0.3240534,0.01144112],"study_design_scores_gemma":[0.000653884,0.00005883232,0.1771574,0.00001487863,0.00002204287,0.00001652016,0.0002728676,0.006728227,0.5715942,0.00002268851,0.2427873,0.0006711369],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8903446,0.0002177934,0.004618887,0.00002641191,0.001832137,0.0001241289,0.000003110759,0.0006220095,0.102211],"genre_scores_gemma":[0.9978622,0.0000179375,0.001604646,0.00005616264,0.0001916339,0.00001315161,0.000008772387,0.00002222773,0.0002232769],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1075176,"threshold_uncertainty_score":0.9997993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007849072261300837,"score_gpt":0.1901918339375433,"score_spread":0.1823427616762425,"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."}}