{"id":"W2109693504","doi":"10.1145/1667053.1667060","title":"A constructive proof of the general lovász local lemma","year":2010,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":468,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Stavros Niarchos Foundation; Hungarian Scientific Research Fund","keywords":"Lemma (botany); Constructive; Constructive proof; Computer science; Mathematics; Discrete mathematics; Calculus (dental); Programming language; Process (computing)","routes":{"ca_aff":true,"ca_fund":true,"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":["open_science"],"consensus_categories":[],"category_scores_codex":[0.0007379696,0.0000756113,0.0001496655,0.00006312849,0.0001064291,0.00003306119,0.006384731,0.00004308674,0.00001436049],"category_scores_gemma":[0.001024504,0.00003542579,0.0001967964,0.0003771666,0.0005789885,0.0002847195,0.001796117,0.0007293674,0.000001928644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000257609,"about_ca_system_score_gemma":0.0002248354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000032506,"about_ca_topic_score_gemma":0.00000944618,"domain_scores_codex":[0.9987387,0.0001793309,0.0002680693,0.00009749457,0.0005348636,0.0001815413],"domain_scores_gemma":[0.9975111,0.0001774731,0.0003982262,0.001525698,0.0003240962,0.00006334382],"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.000293342,0.0003192146,0.02063441,0.00004137553,0.000298094,0.00005324373,0.002593189,0.003528089,0.2991849,0.5160586,0.007069159,0.1499263],"study_design_scores_gemma":[0.0005859098,0.0001388748,0.01040466,0.00004429315,0.00001231288,0.001029598,0.00007138727,0.0025627,0.2600961,0.7228092,0.002152825,0.00009216287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.914277,0.00006850725,0.07502752,0.007964049,0.001921086,0.0001697325,0.000002281038,0.000005571444,0.0005642129],"genre_scores_gemma":[0.9675344,0.000001588011,0.03194263,0.0001332374,0.000168122,8.784744e-7,9.789734e-9,0.000005308511,0.0002138723],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2067505,"threshold_uncertainty_score":0.9989912,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01698177873404861,"score_gpt":0.296070846226851,"score_spread":0.2790890674928024,"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."}}