{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003895205,0.0001713557,0.0002517254,0.0003606036,0.001165012,0.0002840335,0.001078499,0.00004117715,0.00002313062],"category_scores_gemma":[0.0004775805,0.0001556899,0.00009974792,0.0008282313,0.00002635506,0.0009765647,0.001151985,0.0009155177,0.000002820309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003639087,"about_ca_system_score_gemma":0.0001628732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002651301,"about_ca_topic_score_gemma":6.362873e-8,"domain_scores_codex":[0.9974368,0.000108329,0.0009296255,0.0002194168,0.0008794617,0.0004264241],"domain_scores_gemma":[0.9978949,0.0002141067,0.001258892,0.000350357,0.0001858548,0.00009588507],"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.00002361663,0.00002015065,0.0001950932,0.00001941293,0.00001098082,0.000004843703,0.0007016254,0.7588416,0.001664119,0.01566224,0.000004472018,0.2228518],"study_design_scores_gemma":[0.0004175321,0.0004380984,0.00008894871,0.00009212215,0.000005024219,0.0003319,0.0001988984,0.9935905,0.002088774,0.001066176,0.001498712,0.000183279],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.164076,0.00002393668,0.8340456,0.000008440799,0.0009220734,0.0001213379,1.785438e-7,0.00007202548,0.0007304114],"genre_scores_gemma":[0.4566114,0.000002377364,0.5432018,0.0001048419,0.00005563354,0.000001679309,6.116164e-7,0.00001004517,0.00001165367],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2925354,"threshold_uncertainty_score":0.896045,"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."}}