{"id":"W2966236725","doi":"","title":"On the Relationship Between Satisfiability and Markov Decision Processes.","year":2019,"lang":"en","type":"article","venue":"Uncertainty in Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Satisfiability; Markov process; Markov chain; Markov decision process; Boolean satisfiability problem; Theoretical computer science; Algorithm; Mathematics; Machine learning; Statistics","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.001676875,0.0001459596,0.000158793,0.0001137868,0.000193813,0.0001897184,0.0006209235,0.00009175132,0.00005407703],"category_scores_gemma":[0.00329806,0.0001054718,0.00002864943,0.0007615022,0.00009091165,0.0002191352,0.0001343575,0.0003861074,0.0002080639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006590353,"about_ca_system_score_gemma":0.0001164217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001993784,"about_ca_topic_score_gemma":0.0001709495,"domain_scores_codex":[0.9983831,0.0001798523,0.000395295,0.0004697444,0.000297837,0.0002741613],"domain_scores_gemma":[0.9864119,0.01279631,0.00009688078,0.0005503558,0.00008062027,0.00006395024],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004348467,0.00003778252,0.4498785,0.00004555843,0.00000389044,0.00000310771,0.002127273,0.01853644,0.00001600608,0.3856311,0.0001202015,0.1435566],"study_design_scores_gemma":[0.00003324817,0.0001398591,0.05943644,0.0002853702,0.000002818386,0.000001783118,0.0001857865,0.1003616,0.0005040348,0.8386797,0.0001393812,0.0002299898],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7674216,0.00006496286,0.2288977,0.00218659,0.0001694579,0.0003614868,0.000004217243,0.00006492827,0.0008290809],"genre_scores_gemma":[0.9958183,0.000003908805,0.003836809,0.0002432211,0.00003081752,0.00001537432,0.00000293473,0.000005900617,0.00004274908],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4530485,"threshold_uncertainty_score":0.4301015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0628719743448886,"score_gpt":0.3038967491543022,"score_spread":0.2410247748094136,"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."}}