{"id":"W2998625062","doi":"10.1609/aaai.v34i02.5500","title":"Guiding CDCL SAT Search via Random Exploration amid Conflict Depression","year":2020,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; Alberta Innovates","keywords":"Heuristics; Heuristic; Computer science; Conflict analysis; Branching (polymer chemistry); Conflict resolution; Theoretical computer science; Artificial intelligence; Psychology; Sociology","routes":{"ca_aff":true,"ca_fund":true,"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.0006594174,0.0002237923,0.0002980094,0.00009859859,0.0002837698,0.0003404628,0.001509696,0.0001019562,0.00005407176],"category_scores_gemma":[0.0003848915,0.0001662087,0.0001262271,0.0006169669,0.0000991865,0.0009946058,0.0003873798,0.000208564,0.0002067422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004247238,"about_ca_system_score_gemma":0.00006109732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006452523,"about_ca_topic_score_gemma":0.00000434761,"domain_scores_codex":[0.997669,0.00005096967,0.0006661885,0.0005792393,0.0007226412,0.0003119212],"domain_scores_gemma":[0.9984621,0.0001006082,0.0004056242,0.0002599999,0.000621912,0.0001496859],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002462489,0.0001088841,0.0009818983,0.0001221965,0.00002416654,9.184303e-7,0.01117486,0.0006278165,0.7280058,0.1806965,0.0004277882,0.07758294],"study_design_scores_gemma":[0.00007658694,0.00009758722,0.0001401792,0.0001473432,0.000006710515,0.000001647116,0.0004069708,0.3740851,0.6210046,0.00373164,0.0001498794,0.0001518],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1690677,0.0000633033,0.8161278,0.008970762,0.0006760556,0.001098555,0.000003908218,0.0002249624,0.003766922],"genre_scores_gemma":[0.9976858,0.00004951429,0.001632741,0.0003568419,0.0001593234,0.00002973839,0.000001454794,0.00001356411,0.0000709827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8286181,"threshold_uncertainty_score":0.6777796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.248689481609431,"score_gpt":0.323808705815661,"score_spread":0.07511922420623002,"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."}}