{"id":"W2143208164","doi":"10.1145/1278480.1278498","title":"An effective guidance strategy for abstraction-guided simulation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Assertion; Abstraction; Formal verification; Model checking; Functional verification; State (computer science); Formal methods; Theoretical computer science; Distributed computing; Computer engineering; Programming language","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.0036576,0.0002644411,0.0002275475,0.0002767257,0.0003156626,0.0005956835,0.001257802,0.0002017366,0.00001036125],"category_scores_gemma":[0.001663979,0.0002812161,0.00005923098,0.000596999,0.0000614193,0.004168659,0.00004033251,0.0001768559,0.00003777313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002114649,"about_ca_system_score_gemma":0.0001187428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009020648,"about_ca_topic_score_gemma":0.000001162818,"domain_scores_codex":[0.9977306,0.00006227534,0.0006475713,0.0006769396,0.0004472574,0.0004353545],"domain_scores_gemma":[0.9963267,0.0007199455,0.0006285585,0.0004816469,0.001687315,0.0001557763],"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.0001576915,0.0002045103,0.0003038996,0.0002202353,0.00003501981,0.0000012954,0.002753229,0.05973506,0.2858542,0.2432589,0.0004425858,0.4070334],"study_design_scores_gemma":[0.0003244432,0.0002853814,0.01606281,0.00003690707,0.000009842443,0.000008190696,0.00006100516,0.7670881,0.1922541,0.02350014,0.000106486,0.0002625876],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03167937,0.000009706157,0.964296,0.0000732161,0.0004971158,0.001639881,0.00000276981,0.0009036945,0.000898264],"genre_scores_gemma":[0.5398988,0.000001501969,0.4597512,0.00005113953,0.00009649699,0.0001655825,0.000003842929,0.00001256188,0.00001889991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7073531,"threshold_uncertainty_score":0.999964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1434452489782713,"score_gpt":0.4035506928856112,"score_spread":0.2601054439073399,"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."}}