{"id":"W2102763958","doi":"10.1145/1629911.1629962","title":"Fast vectorless power grid verification using an approximate inverse technique","year":2009,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":48,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Inverse; Node (physics); Margin (machine learning); Power (physics); Algorithm; Power grid; Voltage; Mathematical optimization; Mathematics; Electrical 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":[],"consensus_categories":[],"category_scores_codex":[0.0001542873,0.0001907752,0.0001487415,0.0001597499,0.00006397109,0.00005662184,0.000193766,0.0001171986,0.0001093064],"category_scores_gemma":[0.000003865051,0.000186728,0.00003362385,0.0002991524,0.00002293282,0.0006517519,0.00001032454,0.0001545473,0.00006967033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001349668,"about_ca_system_score_gemma":0.00001746178,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001308797,"about_ca_topic_score_gemma":0.000003429149,"domain_scores_codex":[0.9991201,0.00001818617,0.0002106927,0.0002077224,0.0001518171,0.0002914864],"domain_scores_gemma":[0.9994107,0.000005172488,0.00002796189,0.0004228293,0.00003876232,0.00009454333],"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.0000134663,0.00009938954,0.0001768513,0.00004280145,0.00001633786,0.000008959059,0.0006107705,0.03396709,0.9592185,0.001546932,0.001783885,0.002514986],"study_design_scores_gemma":[0.0003604532,0.0001337267,0.002231831,0.00004756529,0.00001873783,0.00003264028,0.0001424727,0.3781589,0.6149913,0.0002093023,0.003013773,0.0006592582],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6688583,0.00003130663,0.311815,0.00003769372,0.0006173077,0.0005940119,0.00000762642,0.002099704,0.01593906],"genre_scores_gemma":[0.9693808,0.00001209218,0.03029329,0.00009229957,0.00009343099,0.00001953405,0.00001699784,0.00004019377,0.00005138848],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3442272,"threshold_uncertainty_score":0.7614549,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01611103526799932,"score_gpt":0.2272000585507615,"score_spread":0.2110890232827622,"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."}}