{"id":"W2502059287","doi":"","title":"Generation and verification of plans with loops","year":2012,"lang":"en","type":"dissertation","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Property (philosophy); Plan (archaeology); Computer science; Finite-state machine; Generalization; State (computer science); Representation (politics); Theoretical computer science; Mathematics; Algorithm","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.00009279011,0.0001065488,0.0001263747,0.00006319446,0.0000469284,0.0000442177,0.0001750649,0.0001086691,0.00001822359],"category_scores_gemma":[0.000008243952,0.00007676225,0.00001656982,0.00009943547,0.00001279636,0.0002256953,0.00001160711,0.00006079584,0.00001232538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001029456,"about_ca_system_score_gemma":0.00005802545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004016448,"about_ca_topic_score_gemma":0.0005664788,"domain_scores_codex":[0.9994251,0.00001951836,0.0001262519,0.0002053471,0.0001270701,0.00009678142],"domain_scores_gemma":[0.9994606,0.00001503767,0.0001374594,0.0002324491,0.0001136324,0.0000407671],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00005893855,0.0002695354,0.00936505,0.0004324118,0.0001121078,0.000002592775,0.01755628,0.00001607358,0.03445093,0.7873533,0.003296773,0.147086],"study_design_scores_gemma":[0.001930349,0.001052732,0.6741973,0.0003251244,0.0002822824,0.00006325449,0.001331902,0.04587255,0.2580949,0.002213349,0.01257158,0.002064651],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5089194,0.001839041,0.2840125,0.00005347914,0.001232043,0.0004661733,0.000006788292,0.0001734501,0.2032971],"genre_scores_gemma":[0.984081,0.00005853391,0.007420006,0.0000109423,0.0001206599,0.00001382968,0.0002840908,0.000007692216,0.008003236],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7851399,"threshold_uncertainty_score":0.3130274,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0254758339806,"score_gpt":0.2469656111987087,"score_spread":0.2214897772181087,"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."}}