{"id":"W2168312001","doi":"","title":"Minimization of multiway decision graphs for RTL verification by stochastic optimization","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Algoma University","funders":"","keywords":"Correctness; Computer science; Minification; Variable (mathematics); State (computer science); Algorithm; Theoretical computer science; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002231633,0.0009376786,0.000705498,0.0009418422,0.0004851722,0.0007075118,0.0007177545,0.0005271821,0.002676832],"category_scores_gemma":[0.005774646,0.0004095884,0.001073585,0.0007284745,0.001141745,0.0009109505,0.00112918,0.001182318,0.0002760394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001637431,"about_ca_system_score_gemma":0.002237964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003088341,"about_ca_topic_score_gemma":0.004408504,"domain_scores_codex":[0.9980416,0.0007451775,0.000102419,0.0002706081,0.0006604712,0.0001797018],"domain_scores_gemma":[0.9947581,0.003973471,0.0004614692,0.0003098778,0.0003892251,0.0001079532],"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.00008760719,0.00007043397,0.0007433073,0.0001282608,0.00003872397,0.0000717116,0.0000572146,0.9148957,0.004947749,0.02367094,0.0005184723,0.05476992],"study_design_scores_gemma":[0.00001544991,0.00004068306,0.0001238437,0.0000114445,0.00001129852,0.00001903283,0.00001014239,0.9827812,0.003357898,0.01302054,0.0006025278,0.00000593886],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02038659,0.00006152672,0.9779678,0.0001082827,0.00001037955,0.00008131998,0.00006197151,0.0003871956,0.0009348766],"genre_scores_gemma":[0.4258852,0.0001198392,0.571556,0.0000904842,0.00001489962,0.0003517335,0.0002675516,0.0002092763,0.00150505],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003088341,"threshold_uncertainty_score":0.01188046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01318744155869609,"score_gpt":0.2696376096437597,"score_spread":0.2564501680850636,"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."}}