{"id":"W4229001783","doi":"10.1287/ijoc.2022.1194","title":"Improving Variable Orderings of Approximate Decision Diagrams Using Reinforcement Learning","year":2022,"lang":"en","type":"article","venue":"INFORMS journal on computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Minnow Environmental (Canada)","funders":"","keywords":"Computer science; Reinforcement learning; Heuristic; Scalability; Mathematical optimization; Relaxation (psychology); Metric (unit); Set (abstract data type); Artificial intelligence; Linear programming relaxation; Analytics; Linear programming; Bounding overwatch; Variable (mathematics); Machine learning; Algorithm; Mathematics; Data mining","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.004401726,0.001666467,0.001567154,0.001464172,0.0007695672,0.002276902,0.001666638,0.001342433,0.005550067],"category_scores_gemma":[0.02845258,0.001089129,0.001451765,0.0009599783,0.001625597,0.003144102,0.002465932,0.003758014,0.0007665554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002855152,"about_ca_system_score_gemma":0.003663133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00568832,"about_ca_topic_score_gemma":0.009092007,"domain_scores_codex":[0.9965995,0.001527455,0.0001590615,0.0005395298,0.0008108979,0.0003635181],"domain_scores_gemma":[0.9842605,0.01189673,0.001148114,0.001091864,0.001070681,0.000532151],"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.00009073579,0.00007660565,0.0009150318,0.00009546483,0.00002360731,0.00003722887,0.00009100773,0.929338,0.0008102424,0.02440886,0.000746157,0.04336715],"study_design_scores_gemma":[0.0000151304,0.00002532706,0.00004984581,0.00001932985,0.000005587432,0.000005690956,0.00001023977,0.9793117,0.0004608382,0.01957963,0.0005117361,0.000004915576],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02624999,0.0002433398,0.9691722,0.0002811475,0.00004275753,0.00009893471,0.0001237824,0.0007774978,0.00301037],"genre_scores_gemma":[0.5718935,0.000314155,0.4239472,0.0002370199,0.00004275019,0.0003385211,0.0004728278,0.0004187496,0.002335397],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00568832,"threshold_uncertainty_score":0.02327883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02586203490071252,"score_gpt":0.284661090906438,"score_spread":0.2587990560057254,"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."}}