{"id":"W2964041306","doi":"10.1002/rsa.20748","title":"On the <i>K</i>‐sat model with large number of clauses","year":2017,"lang":"en","type":"article","venue":"Random Structures and Algorithms","topic":"Theoretical and Computational Physics","field":"Physics and Astronomy","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Spin glass; Mathematics; Limit (mathematics); Combinatorics; Order (exchange); Spin (aerodynamics); Law of large numbers; Energy (signal processing); Discrete mathematics; Physics; Statistics; Quantum mechanics; Mathematical analysis; Random variable; Thermodynamics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005345254,0.0001055711,0.0001575454,0.000005110528,0.0003302099,0.00007033683,0.0001476807,0.00001536656,0.0001157546],"category_scores_gemma":[0.000004412783,0.00005185518,0.00005188947,0.00001435009,0.0001769404,0.00005171331,0.00004786009,0.00009320403,0.000002915174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000127688,"about_ca_system_score_gemma":0.00001365918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001895116,"about_ca_topic_score_gemma":4.322288e-7,"domain_scores_codex":[0.9995238,0.00001648553,0.00008678608,0.0001225685,0.0001311064,0.0001192602],"domain_scores_gemma":[0.9994936,0.0001362404,0.00009230304,0.000204776,0.00003714549,0.00003594503],"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.0001365902,0.00002393635,0.001173405,0.000003820442,0.00005064628,3.043156e-7,0.00007246668,0.0007685389,0.00001879881,0.9930975,0.0001108235,0.004543202],"study_design_scores_gemma":[0.002187635,0.00002468894,0.00205229,0.00001548298,0.00002457424,8.115449e-7,0.00005030178,0.02165935,0.0006352831,0.9731759,0.00008109147,0.00009257862],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9288134,0.00001440801,0.05914099,0.0004240564,0.00005318821,0.0001527585,0.0001639973,0.000008605247,0.01122857],"genre_scores_gemma":[0.9988725,0.000001337468,0.0007654037,0.00008530592,0.0001335608,0.00000627381,0.000008817402,0.000008158582,0.0001186436],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07005908,"threshold_uncertainty_score":0.2539741,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007191773732953024,"score_gpt":0.2516578794083303,"score_spread":0.2444661056753773,"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."}}