{"id":"W3166161324","doi":"10.1017/s0963548322000219","title":"Towards the 0-statement of the Kohayakawa-Kreuter conjecture","year":2022,"lang":"en","type":"article","venue":"Combinatorics Probability Computing","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"UK Research and Innovation","keywords":"Conjecture; Combinatorics; Statement (logic); Mathematics; Graph; Monochromatic color; Function (biology); Discrete mathematics; Physics; Philosophy","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.002748182,0.0002008511,0.0002970014,0.00003530927,0.001559506,0.0000280739,0.001293986,0.00005302084,0.00008033383],"category_scores_gemma":[0.0005373539,0.0001124479,0.0002479213,0.0005499676,0.0002749873,0.00003134232,0.002594097,0.0006879485,3.494056e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002287758,"about_ca_system_score_gemma":0.0001132268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001732008,"about_ca_topic_score_gemma":0.000002039326,"domain_scores_codex":[0.9972843,0.0007953981,0.0006165903,0.0003108374,0.0006770408,0.0003158113],"domain_scores_gemma":[0.9974809,0.0007686974,0.0004294232,0.001136836,0.0001441267,0.00003998463],"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.00001130602,0.0001687863,0.004047032,0.0001406436,0.00005293563,9.780531e-7,0.004743632,0.0005447774,0.00002064559,0.9874937,0.00121984,0.001555742],"study_design_scores_gemma":[0.0003536632,0.00008480006,0.002503657,0.00001451834,0.00003744174,0.00001342404,0.000379025,0.001038756,0.0005381223,0.9907609,0.004134038,0.0001416509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.990963,0.0001657374,0.001089726,0.0014941,0.002370015,0.000976391,0.00001702072,0.00007662939,0.002847324],"genre_scores_gemma":[0.9987691,0.000001286396,0.0008132643,0.0002385046,0.00004675335,0.00002229629,0.000001416419,0.00002165614,0.0000857039],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007806061,"threshold_uncertainty_score":0.9997403,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05072403192861197,"score_gpt":0.2839312600656514,"score_spread":0.2332072281370395,"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."}}