{"id":"W2963772421","doi":"10.1609/aaai.v33i01.33011443","title":"Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning","year":2019,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":44,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Bounding overwatch; Reinforcement learning; Computer science; Maximum cut; Mathematical optimization; Set (abstract data type); Relaxation (psychology); Perspective (graphical); Optimization problem; Function (biology); Artificial intelligence; Algorithm; Mathematics; Theoretical computer science","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.005199996,0.001837918,0.001568994,0.001479678,0.0005522131,0.001934436,0.001630259,0.001520003,0.003887766],"category_scores_gemma":[0.03129616,0.0009494432,0.001285148,0.001266182,0.002234444,0.004013136,0.00334112,0.004773043,0.0006343618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002182472,"about_ca_system_score_gemma":0.002577959,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002344538,"about_ca_topic_score_gemma":0.003013581,"domain_scores_codex":[0.9960302,0.001679419,0.0002075186,0.0006740533,0.00109596,0.0003128523],"domain_scores_gemma":[0.9823462,0.01323704,0.001282307,0.001809238,0.0008562742,0.0004688826],"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.0001148576,0.00009628268,0.0008286265,0.0002239947,0.00004328653,0.00004811153,0.0001127972,0.8040564,0.002677674,0.1048082,0.001320661,0.08566917],"study_design_scores_gemma":[0.0000134404,0.00002942473,0.00005336164,0.00002894043,0.00000697729,0.00001005264,0.000007336725,0.9299473,0.0009451841,0.06816719,0.0007846946,0.000006089115],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009582791,0.0003390162,0.987777,0.0002357321,0.00003267797,0.00003980177,0.00004674706,0.0003523923,0.001593862],"genre_scores_gemma":[0.4921209,0.0006659888,0.5041554,0.0002799494,0.00008747769,0.0002987609,0.0003170621,0.0003870622,0.001687433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005199996,"threshold_uncertainty_score":0.02750057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01918668479734871,"score_gpt":0.2741466304740873,"score_spread":0.2549599456767386,"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."}}