{"id":"W2293330139","doi":"10.1145/375360.375363","title":"Efficient reasoning","year":2001,"lang":"en","type":"review","venue":"ACM Computing Surveys","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":76,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Undecidable problem; Context (archaeology); Dilemma; Ideal (ethics); Range (aeronautics); Artificial intelligence; Theoretical computer science; Reasoning system; Decidability","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004832393,0.0006196255,0.001612489,0.000273457,0.0003117076,0.0004747093,0.00460908,0.0003486389,0.000009614193],"category_scores_gemma":[0.0007346752,0.0005434677,0.0004643807,0.001522628,0.00005286034,0.0000580116,0.002155051,0.0008422601,0.00046164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001342547,"about_ca_system_score_gemma":0.0004052116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008415002,"about_ca_topic_score_gemma":0.000002744828,"domain_scores_codex":[0.9947287,0.001972809,0.0008556449,0.001175978,0.0004742732,0.0007925673],"domain_scores_gemma":[0.9953363,0.001282802,0.0005242669,0.002495339,0.00015193,0.0002093809],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[7.430045e-8,0.00003041069,0.000005020783,0.000745254,0.0000357284,0.00004033897,0.00005012837,0.0007146522,1.643779e-8,0.002574128,0.0002479887,0.9955562],"study_design_scores_gemma":[0.0001493806,0.0000616895,0.00003621434,0.01959909,0.0001309177,0.0003927335,0.000003431889,0.317089,2.555174e-7,0.0007014571,0.6603234,0.001512395],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.000002711673,0.510428,0.4876232,0.00001310065,0.0006192474,0.0001344947,0.000002079519,0.0003850966,0.0007920417],"genre_scores_gemma":[0.000203139,0.9274105,0.07169457,0.00005040224,0.0003285542,0.000008637655,0.00002613517,0.00005857044,0.0002194229],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.9940439,"threshold_uncertainty_score":0.9997017,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09252194336420816,"score_gpt":0.3499071126489863,"score_spread":0.2573851692847781,"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."}}