{"id":"W2113202694","doi":"10.1109/icde.1991.131461","title":"Meta-reasoning: An incremental compilation approach","year":2002,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Implicant; Computer science; Prime (order theory); Automated theorem proving; Process (computing); Artificial intelligence; Programming language; Theoretical computer science; Algorithm; Boolean function; 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.001530283,0.0006988748,0.0008165311,0.001607317,0.0007124732,0.002709827,0.002703159,0.0007551552,0.005931334],"category_scores_gemma":[0.00535983,0.001014793,0.00210629,0.001029841,0.001262732,0.00400948,0.002665017,0.002073696,0.001283573],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001068816,"about_ca_system_score_gemma":0.001352294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00197807,"about_ca_topic_score_gemma":0.003251635,"domain_scores_codex":[0.9983662,0.0005017947,0.0001001543,0.0002711411,0.0005921628,0.0001685161],"domain_scores_gemma":[0.9972535,0.001237099,0.0001149663,0.0009827239,0.0003343138,0.00007743777],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003540818,0.0002646302,0.0009917788,0.0006007674,0.0002478507,0.000639688,0.001009205,0.1326935,0.0124322,0.2980095,0.01179422,0.5409626],"study_design_scores_gemma":[0.0001129945,0.0001006155,0.0004660978,0.0001499033,0.0003013917,0.0005149048,0.0002038779,0.5774903,0.02194913,0.3571444,0.04149115,0.00007525831],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004506484,0.0003215946,0.9836822,0.0002709555,0.00004977343,0.0001053288,0.0001243125,0.004587872,0.006351414],"genre_scores_gemma":[0.1561532,0.0005428361,0.8370118,0.0002029835,0.0001141787,0.0002899333,0.0005202571,0.0008765961,0.004288053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005931334,"threshold_uncertainty_score":0.01984233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1259968969854907,"score_gpt":0.2537421981624584,"score_spread":0.1277453011769676,"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."}}