{"id":"W2130081235","doi":"10.1109/lics.2003.1210053","title":"The complexity of resolution refinements","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Resolution (logic); Computer science; Algorithm; Tree (set theory); Artificial intelligence; Mathematics; Combinatorics","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.01776768,0.0009177086,0.001805283,0.002907577,0.003042746,0.008229203,0.004089264,0.003524184,0.0101431],"category_scores_gemma":[0.126442,0.001850766,0.003963501,0.0041147,0.007768313,0.02366753,0.008865978,0.007690842,0.001698403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003727817,"about_ca_system_score_gemma":0.002549948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002990236,"about_ca_topic_score_gemma":0.001660153,"domain_scores_codex":[0.9687579,0.01065675,0.002471901,0.003688429,0.01157254,0.002852538],"domain_scores_gemma":[0.8261796,0.1437553,0.004666405,0.01837656,0.005705694,0.001316501],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002785673,0.00008436971,0.002509132,0.000434592,0.0001098614,0.0002434049,0.001212366,0.02807607,0.001546117,0.8966545,0.00467142,0.06417971],"study_design_scores_gemma":[0.00006513893,0.00002783935,0.0005027686,0.00007433007,0.00007822317,0.0003212541,0.0003450079,0.07865714,0.002721226,0.9092741,0.007886536,0.00004646358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1209675,0.002917802,0.8292212,0.009796457,0.0001813411,0.0004950016,0.001057093,0.002148625,0.03321505],"genre_scores_gemma":[0.6894462,0.003701526,0.2933424,0.001237246,0.0004269784,0.0006161197,0.001889463,0.0008541453,0.00848593],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01776768,"threshold_uncertainty_score":0.09396559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07839294460974268,"score_gpt":0.275816274251887,"score_spread":0.1974233296421443,"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."}}