{"id":"W2138089556","doi":"","title":"Value-Directed Compression of POMDPs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":99,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Lossy compression; Lossless compression; Mathematical optimization; Markov decision process; Partially observable Markov decision process; Set (abstract data type); Quality (philosophy); Compression (physics); Value (mathematics); Space (punctuation); Data compression; Artificial intelligence; Machine learning; Mathematics; Markov process; Statistics; Markov chain","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.0001682772,0.0000472085,0.00007416976,0.00005166595,0.00003035947,0.00001527458,0.0004652237,0.0000311058,0.0001119663],"category_scores_gemma":[0.00004736754,0.00003840641,0.00002415976,0.0002660922,0.00001735723,0.0002556448,0.00009662435,0.0000432801,0.00006929487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001092211,"about_ca_system_score_gemma":0.000003336264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001051133,"about_ca_topic_score_gemma":1.303321e-7,"domain_scores_codex":[0.9993846,0.00008269708,0.00014738,0.0001315507,0.0001628852,0.00009092475],"domain_scores_gemma":[0.9993905,0.0000439426,0.00006357986,0.0004197961,0.00005105402,0.00003109476],"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.000003324649,0.0003058708,0.0003780668,0.00003214803,0.00001389444,0.000001648483,0.001651295,0.0001469586,0.03249415,0.8018678,0.008839662,0.1542652],"study_design_scores_gemma":[0.0001065589,0.00003583786,0.003120525,0.00000935004,0.000001377011,0.000003521936,0.000004132623,0.9118719,0.08063281,0.001019814,0.003132294,0.00006194304],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009635874,0.00008571764,0.9078125,0.000146612,0.0002828867,0.00008392399,2.752041e-7,0.0005824499,0.08136976],"genre_scores_gemma":[0.2223004,0.000009560793,0.7772197,0.00005618359,0.00000912325,0.000001999868,1.575371e-7,0.000002135053,0.0004008464],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9117249,"threshold_uncertainty_score":0.1566168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04777020344084489,"score_gpt":0.2804378409214108,"score_spread":0.232667637480566,"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."}}