{"id":"W2114600785","doi":"10.1007/978-3-540-74970-7_49","title":"Hierarchical Hardness Models for SAT","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Classifier (UML); Computer science; Boolean satisfiability problem; Solver; Class (philosophy); Artificial intelligence; Machine learning; Algorithm","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.001558511,0.001431824,0.001438843,0.001820252,0.002277963,0.004207607,0.00382331,0.002112142,0.03921184],"category_scores_gemma":[0.007512491,0.00141796,0.002990933,0.002463041,0.00393826,0.01128804,0.004481432,0.009088133,0.004904365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003991922,"about_ca_system_score_gemma":0.001531104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002466265,"about_ca_topic_score_gemma":0.003643218,"domain_scores_codex":[0.9975309,0.0006347863,0.0001438227,0.0005231285,0.0008177258,0.0003497048],"domain_scores_gemma":[0.9946226,0.003147183,0.0002445913,0.00136323,0.0003513373,0.0002710516],"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.00002337306,0.00002871396,0.00007943291,0.00006955656,0.00001019537,0.0000174063,0.00009288552,0.004771327,0.0001586783,0.9825444,0.005236289,0.006967744],"study_design_scores_gemma":[0.00001230281,0.000006631778,0.00007474203,0.00001452763,0.000006866578,0.00001587257,0.00002174899,0.01165856,0.0001289664,0.9844325,0.003620878,0.000006357503],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02620887,0.001994217,0.7028537,0.007978446,0.0004404732,0.0003735461,0.002260952,0.002308075,0.2555817],"genre_scores_gemma":[0.73212,0.001822491,0.1670233,0.002309419,0.001084491,0.001188472,0.005804047,0.001332105,0.08731572],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03921184,"threshold_uncertainty_score":0.1311767,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06872056972064919,"score_gpt":0.320588590816526,"score_spread":0.2518680210958768,"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."}}