{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000185689,0.00007107824,0.00009671749,0.00002523021,0.00009424274,0.00008774408,0.0002399906,0.00004993098,0.00006040475],"category_scores_gemma":[0.00001959983,0.00003957575,0.0000271997,0.0000925866,0.00006923784,0.0001002168,0.00003075679,0.0001306371,0.00001622521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003774023,"about_ca_system_score_gemma":0.00003949849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002237218,"about_ca_topic_score_gemma":0.000008977161,"domain_scores_codex":[0.9994985,0.00004098253,0.0001226103,0.0001224002,0.0001119967,0.0001035029],"domain_scores_gemma":[0.9991499,0.0004346355,0.00007295132,0.000242868,0.00006224257,0.00003741554],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004773831,0.00008748433,0.01280123,0.0001936955,0.0000799847,0.00001101373,0.002459621,0.007311838,0.0005535237,0.7380529,0.1005654,0.1378356],"study_design_scores_gemma":[0.004231953,0.000270783,0.0352388,0.0001170205,0.00004385038,0.00005749266,0.0004977669,0.8152859,0.004636018,0.09809761,0.04084383,0.0006789442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05568721,0.002073337,0.8819474,0.0416507,0.0009441751,0.0005402707,0.000007768801,0.0002824465,0.01686668],"genre_scores_gemma":[0.9729656,0.00000831451,0.02586909,0.0008336721,0.00007258323,0.000005629167,0.000001680256,0.000003052837,0.0002403787],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9172784,"threshold_uncertainty_score":0.1613852,"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."}}