{"id":"W2129541994","doi":"10.4171/aihpd/31","title":"The phase transition in random regular exact cover","year":2016,"lang":"en","type":"preprint","venue":"Annales de l’Institut Henri Poincaré D Combinatorics Physics and their Interactions","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University; National Science Foundation","keywords":"Combinatorics; Satisfiability; Mathematics; Cover (algebra); Star (game theory); Discrete mathematics; Random variable; Statistics; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008261387,0.0004805591,0.0004951775,0.0002407808,0.0007560873,0.0005927589,0.001352071,0.000177421,0.000005018602],"category_scores_gemma":[0.00009226266,0.0003392484,0.0003305178,0.0004947474,0.0003829135,0.0009513243,0.0008765186,0.001372407,0.0000226521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003088646,"about_ca_system_score_gemma":0.0004341122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003266715,"about_ca_topic_score_gemma":0.00002384511,"domain_scores_codex":[0.9972532,0.0004389948,0.0005052735,0.0007757716,0.0003399082,0.0006868698],"domain_scores_gemma":[0.9967782,0.001125649,0.0002716646,0.001309269,0.0003058874,0.000209274],"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.000214933,0.0006084386,0.00004703173,0.00007270987,0.000196641,0.00005054216,0.002104071,0.0008276638,0.0007806875,0.9631127,0.0005928778,0.03139174],"study_design_scores_gemma":[0.002447157,0.000101363,0.00003962927,0.0003304913,0.00001589207,0.00004500886,0.0001089237,0.02975456,0.00179569,0.9342574,0.03069773,0.0004061886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05845794,0.002417425,0.9277315,0.003209237,0.001787172,0.0009167494,0.0001279502,0.0001719588,0.00518013],"genre_scores_gemma":[0.9965513,0.002258256,0.0001927238,0.0001595416,0.0001949021,0.0002488869,0.00003433189,0.00003687435,0.000323202],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9380934,"threshold_uncertainty_score":0.9999059,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02161952106700976,"score_gpt":0.301906142497162,"score_spread":0.2802866214301523,"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."}}