{"id":"W1985054922","doi":"10.1109/adprl.2014.7010633","title":"Pseudo-MDPs and factored linear action models","year":2014,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Bounding overwatch; Computer science; Kernel (algebra); Computation; Normalization (sociology); Mathematical optimization; Action (physics); Theoretical computer science; Algorithm; Artificial intelligence; Mathematics","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.002431121,0.001051708,0.0008052618,0.0006710665,0.000385615,0.001537161,0.001540932,0.001061337,0.004809285],"category_scores_gemma":[0.008455648,0.0006834226,0.001287235,0.0007802842,0.002473281,0.003691318,0.002177407,0.002784179,0.0005480136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001665547,"about_ca_system_score_gemma":0.001877237,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002410309,"about_ca_topic_score_gemma":0.002229227,"domain_scores_codex":[0.9972392,0.001115983,0.0001735455,0.0005799797,0.0007027787,0.0001884215],"domain_scores_gemma":[0.9956025,0.002664995,0.0004965304,0.0007186681,0.0003776731,0.0001396715],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004116233,0.00002315311,0.0002840992,0.0001250933,0.00003529064,0.0001014698,0.00009934991,0.4104879,0.0009439866,0.5720398,0.0006524397,0.0151663],"study_design_scores_gemma":[0.00001185431,0.00002747977,0.00005321466,0.00002017046,0.00001120363,0.00003671036,0.00001931866,0.7105904,0.0009234182,0.2845497,0.003743998,0.00001255693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00231284,0.00008794988,0.9962105,0.0001124491,0.00001764352,0.00002909646,0.00007084577,0.0001545105,0.001004078],"genre_scores_gemma":[0.3668575,0.0005584331,0.6271933,0.0002127513,0.00006679952,0.000436925,0.0003628379,0.000151098,0.004160421],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004809285,"threshold_uncertainty_score":0.01608866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08458425800970096,"score_gpt":0.3203029802822215,"score_spread":0.2357187222725205,"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."}}