{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003111083,0.00005684396,0.00006023169,0.00004073482,0.00005527106,0.00005794646,0.0002179632,0.00004239489,0.000005748007],"category_scores_gemma":[0.00004475714,0.00004770148,0.00001372735,0.00009732938,0.00001975133,0.0007985174,0.00007461177,0.00005652797,0.00002673158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001230333,"about_ca_system_score_gemma":0.000007203555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001952241,"about_ca_topic_score_gemma":0.000001783359,"domain_scores_codex":[0.9994501,0.00006168058,0.00009484691,0.0001827568,0.0001095585,0.0001010334],"domain_scores_gemma":[0.9995341,0.00003586631,0.0000360245,0.0003108434,0.00003491437,0.00004825068],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002892781,0.00001372612,0.00007058678,0.000008276295,0.0000029256,9.556435e-8,0.0002817774,0.0007386718,0.003597938,0.6981812,0.0001408557,0.2969611],"study_design_scores_gemma":[0.0000754525,0.00003123622,0.001294299,0.000001790161,9.970695e-7,0.000003937285,0.000006061395,0.9715733,0.01034834,0.01511628,0.001482965,0.00006534847],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03814925,0.000004804761,0.9543971,0.0001411467,0.0002041393,0.00005266544,1.519017e-7,0.0001630827,0.006887694],"genre_scores_gemma":[0.3969702,0.000006347997,0.6026809,0.00009816121,0.0000291489,0.00000283465,3.469526e-7,0.000002384821,0.0002096404],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9708346,"threshold_uncertainty_score":0.194521,"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."}}