{"id":"W254961257","doi":"10.1007/978-3-319-09284-3_28","title":"Approximating Highly Satisfiable Random 2-SAT","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Window (computing); Connection (principal bundle); Image (mathematics); Distribution (mathematics); Combinatorics; Polynomial; Computer science; Time complexity; Algorithm; Mathematics; Discrete mathematics; Set (abstract data type); Uniform distribution (continuous); Probability distribution; Artificial intelligence; Statistics; Geometry; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001172141,0.000476916,0.0005738713,0.0007604992,0.0003460324,0.0007707439,0.001840843,0.0002920842,0.00007148197],"category_scores_gemma":[0.0001733501,0.0004477301,0.0001322321,0.0005370475,0.0004673037,0.0005492895,0.0007302926,0.0006435683,0.0001124213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002426346,"about_ca_system_score_gemma":0.0004017678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001825392,"about_ca_topic_score_gemma":0.00005640176,"domain_scores_codex":[0.9964895,0.0000518933,0.0006637577,0.001321715,0.0008994105,0.0005736838],"domain_scores_gemma":[0.9974525,0.0005912001,0.0004112583,0.001147817,0.0002224046,0.0001747953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004115614,0.000006725879,0.00008243314,0.00003128683,0.000007556797,0.00001359545,0.0003119963,0.09747228,0.00006301054,0.04553828,0.00003314525,0.8564356],"study_design_scores_gemma":[0.0006299766,0.00006429202,0.00008143229,0.0002537076,0.000006901751,0.00006199397,9.761866e-8,0.9330021,0.0003750516,0.06300844,0.001945028,0.0005710335],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001986266,0.0001169302,0.9857568,0.0008027784,0.001831096,0.0004075138,0.00000252398,0.0002948636,0.01076766],"genre_scores_gemma":[0.09843493,0.00002914285,0.8984927,0.00169351,0.0004156966,0.00001170838,0.00001067018,0.00003619112,0.0008754445],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8558645,"threshold_uncertainty_score":0.9997975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01037263065041899,"score_gpt":0.2176377306963465,"score_spread":0.2072651000459275,"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."}}