{"id":"W4285069200","doi":"10.48550/arxiv.1905.04827","title":"Satisfiability Threshold for Power Law Random 2-SAT in Configuration\\n Model","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Satisfiability; Mathematics; Combinatorics; Random variable; Discrete mathematics; Boolean satisfiability problem; Variable (mathematics); Statistics; Mathematical analysis","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.001662978,0.0006155895,0.001725513,0.001644155,0.001229621,0.003195096,0.002463399,0.00221118,0.009937347],"category_scores_gemma":[0.01400024,0.0005963115,0.00131718,0.001138442,0.00226522,0.004689637,0.002336832,0.003032967,0.0007929557],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003866295,"about_ca_system_score_gemma":0.001450558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004678142,"about_ca_topic_score_gemma":0.003452514,"domain_scores_codex":[0.9980678,0.0003364017,0.00007644324,0.000545694,0.0004170247,0.0005567639],"domain_scores_gemma":[0.9910588,0.006062543,0.0009392684,0.000554721,0.0005051873,0.0008795297],"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.0006310894,0.0003277607,0.005642704,0.0004018877,0.0001412844,0.001067023,0.0005465621,0.2004447,0.009446881,0.7618541,0.008796178,0.01069982],"study_design_scores_gemma":[0.00006281078,0.00005826208,0.0009893941,0.00003204523,0.0000306216,0.0002375988,0.00007768673,0.6561499,0.001020778,0.3405965,0.0007132696,0.00003108229],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.587194,0.001943423,0.3561448,0.006216323,0.0001648613,0.0002023364,0.001304733,0.00201972,0.0448098],"genre_scores_gemma":[0.9847085,0.0002940688,0.009144133,0.0004363976,0.00008711237,0.0001217793,0.0005388642,0.000136194,0.004532984],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009937347,"threshold_uncertainty_score":0.03324372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06543176490417776,"score_gpt":0.2030449132718603,"score_spread":0.1376131483676825,"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."}}