{"id":"W2153904215","doi":"10.1609/aaai.v26i1.8142","title":"Predicting Satisfiability at the Phase Transition","year":2021,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Western Canada Research Grid; Compute Canada","keywords":"Satisfiability; Conjecture; Computer science; Range (aeronautics); Decision tree; Classifier (UML); Simple (philosophy); Binary number; Binary classification; Algorithm; Mathematics; Artificial intelligence; Machine learning; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.001510813,0.0004395799,0.0006675279,0.0009877002,0.0003739851,0.001230831,0.000840452,0.0009926514,0.001355762],"category_scores_gemma":[0.015016,0.000277811,0.0007071603,0.0008363831,0.0007280085,0.002646796,0.0007977206,0.00168421,0.0005091092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008793673,"about_ca_system_score_gemma":0.0007373731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002855381,"about_ca_topic_score_gemma":0.00434769,"domain_scores_codex":[0.9993729,0.0001891556,0.00002921835,0.0001668119,0.0001533682,0.00008861689],"domain_scores_gemma":[0.9919595,0.005842881,0.0006246896,0.0007790341,0.0005468025,0.0002469953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000705726,0.0003877362,0.09295244,0.0002017836,0.0001223976,0.0002668687,0.0002170008,0.7386405,0.007226034,0.03719322,0.01049295,0.1115932],"study_design_scores_gemma":[0.000009918419,0.00001944421,0.002333759,0.000005986282,0.000004979324,0.00002260309,0.00001890442,0.9760074,0.001739451,0.01957202,0.0002608065,0.000004764958],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8440543,0.000385853,0.1472966,0.001461311,0.00005003145,0.00005813766,0.001230876,0.001410661,0.004052266],"genre_scores_gemma":[0.9799411,0.00008412742,0.01799212,0.0001132821,0.00002745466,0.00003068706,0.001276318,0.00004770324,0.0004872492],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002855381,"threshold_uncertainty_score":0.007990062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0556724554641079,"score_gpt":0.2974611224413914,"score_spread":0.2417886669772835,"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."}}