{"id":"W2267298262","doi":"","title":"Korf's Conjecture and the Future of Abstraction-Based Heuristics","year":2013,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Heuristics; Cube (algebra); Abstraction; Heuristic; Conjecture; Computer science; Inverse; Theoretical computer science; Mathematics; Artificial intelligence; Discrete mathematics; Combinatorics; Epistemology; Philosophy","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.01386941,0.001162314,0.002534915,0.002065098,0.002640712,0.00517675,0.003383378,0.003883884,0.008235506],"category_scores_gemma":[0.0691273,0.001411243,0.002498997,0.003595683,0.0135357,0.02530019,0.004758792,0.009498966,0.001526304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004253686,"about_ca_system_score_gemma":0.004289336,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007029586,"about_ca_topic_score_gemma":0.003240793,"domain_scores_codex":[0.9906633,0.004548664,0.0004338538,0.001392834,0.002135419,0.0008258384],"domain_scores_gemma":[0.9042063,0.08050764,0.001559102,0.009016685,0.003351244,0.001359016],"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.0003781065,0.0001347032,0.001108303,0.0004524596,0.00007288879,0.00008717583,0.000655167,0.05446771,0.00033753,0.8679326,0.008861742,0.06551157],"study_design_scores_gemma":[0.00007074308,0.00004944652,0.0002241454,0.00007529693,0.00001313855,0.00003799475,0.0001317518,0.06402917,0.0002667762,0.9279488,0.007130738,0.00002205545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06836627,0.0130617,0.7700001,0.06654669,0.0007387792,0.0002686229,0.000673131,0.001456565,0.07888822],"genre_scores_gemma":[0.6088243,0.007075036,0.3647363,0.007411297,0.001529648,0.0008915254,0.0005932134,0.0004449381,0.008493873],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01386941,"threshold_uncertainty_score":0.0733493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003940900727305107,"score_gpt":0.1891723741899666,"score_spread":0.1852314734626615,"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."}}