{"id":"W2147012241","doi":"10.1016/s0304-3975(01)00154-2","title":"Rigorous results for random (2+p)-SAT","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":83,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematics; Combinatorics; Random variable; Set (abstract data type); Order (exchange); Discrete mathematics; Statistics; Computer science","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.001410612,0.0001380332,0.0001605821,0.0001668348,0.0004629553,0.0004481437,0.0012353,0.0000447303,0.00002736803],"category_scores_gemma":[0.0002326369,0.000114691,0.00007286738,0.0008936697,0.001191313,0.0006610653,0.0003001348,0.00009542704,0.0000661918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000515756,"about_ca_system_score_gemma":0.0001117693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001743676,"about_ca_topic_score_gemma":0.000001403433,"domain_scores_codex":[0.9981244,0.00005781015,0.0002963593,0.0006321662,0.0004310355,0.0004582213],"domain_scores_gemma":[0.9984214,0.0004399481,0.00007025204,0.0006020323,0.0002457676,0.0002205458],"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.00006582385,0.00002421764,0.0000286479,0.00000168348,0.000002042401,0.00000490856,0.0001916363,0.001007779,0.00009129958,0.8776513,0.0001713391,0.1207593],"study_design_scores_gemma":[0.001665946,0.0001529444,0.0006730928,0.00001081873,0.000003357013,0.00008688302,0.000003526435,0.9123986,0.0005811125,0.08237204,0.00186238,0.0001892788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003289905,0.000008421133,0.9854616,0.002991371,0.0008518701,0.0002996493,0.00000331265,0.0002815281,0.006812362],"genre_scores_gemma":[0.7039872,0.000006250111,0.2952616,0.0005863193,0.0001059302,0.000009526894,0.000002084769,0.000003902286,0.00003724364],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9113908,"threshold_uncertainty_score":0.4676963,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01110638169363145,"score_gpt":0.2534107792008292,"score_spread":0.2423043975071978,"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."}}