{"id":"W4380877010","doi":"10.5817/cz.muni.eurocomb23-025","title":"A resolution of the Kohayakawa--Kreuter conjecture for the majority of cases","year":2023,"lang":"en","type":"article","venue":"","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Leverhulme Trust; UK Research and Innovation","keywords":"Conjecture; Combinatorics; Statement (logic); Monochromatic color; Bipartite graph; Mathematics; Resolution (logic); Upper and lower bounds; Function (biology); Property (philosophy); Discrete mathematics; Physics; Computer science; Graph; Mathematical analysis; Optics; Law; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003512163,0.000635385,0.001504698,0.001030655,0.00350289,0.004690136,0.003530308,0.003702907,0.01359201],"category_scores_gemma":[0.01307386,0.0007748292,0.001877427,0.001279986,0.004868427,0.01131011,0.004292245,0.005450373,0.001926888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001927003,"about_ca_system_score_gemma":0.001083944,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001820897,"about_ca_topic_score_gemma":0.001787332,"domain_scores_codex":[0.9965518,0.0006204313,0.0001506314,0.001127221,0.0007473851,0.0008025526],"domain_scores_gemma":[0.990527,0.005948715,0.0005398573,0.001931177,0.0005572763,0.0004960363],"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.0001117393,0.00004511187,0.0008319271,0.0001140378,0.00001761714,0.0002701052,0.0002963802,0.002089759,0.0009430224,0.9807571,0.006882837,0.007640343],"study_design_scores_gemma":[0.00003295477,0.00001287243,0.0002436961,0.00003862509,0.00001555809,0.0002381009,0.0001746704,0.01225753,0.00142406,0.9798386,0.005700998,0.00002245335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.377421,0.003674965,0.2814888,0.04376866,0.001036609,0.0001417328,0.001220791,0.00169318,0.2895542],"genre_scores_gemma":[0.9439083,0.001242897,0.03552838,0.003046492,0.0005462859,0.0002084704,0.0005220161,0.0002113489,0.01478588],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01359201,"threshold_uncertainty_score":0.04546976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07162656052389471,"score_gpt":0.3312527566782414,"score_spread":0.2596261961543467,"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."}}