{"id":"W2766828223","doi":"10.1007/s00493-019-3897-3","title":"The Satisfiability Threshold For Random Linear Equations","year":2020,"lang":"en","type":"preprint","venue":"COMBINATORICA","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Finite field; Mathematics; Satisfiability; Random matrix; Combinatorics; Discrete mathematics; Matrix (chemical analysis); Field (mathematics); Zero (linguistics); Multivariate random variable; Combinatorial proof; Random variable; Pure mathematics; Physics; Quantum mechanics; Statistics","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.005121557,0.0005852588,0.002510266,0.002907043,0.001870886,0.007477055,0.002194582,0.003020071,0.008819926],"category_scores_gemma":[0.07108498,0.001394501,0.001166864,0.001797694,0.005360379,0.01546933,0.003140557,0.006474403,0.00070436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00372022,"about_ca_system_score_gemma":0.002029774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001536939,"about_ca_topic_score_gemma":0.001153101,"domain_scores_codex":[0.9945422,0.001699107,0.0003211101,0.001347785,0.001288044,0.0008017534],"domain_scores_gemma":[0.8698949,0.1127402,0.004419772,0.007332293,0.002773076,0.002839753],"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.0002410849,0.0000919329,0.002789538,0.0002333103,0.00004891505,0.0001115386,0.0003688671,0.01660382,0.002236826,0.9578145,0.006135565,0.01332421],"study_design_scores_gemma":[0.00002741653,0.00001470132,0.0006099832,0.00003394753,0.00001803233,0.00008370989,0.000064512,0.0844515,0.001077755,0.9127845,0.0008133866,0.00002067007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5232738,0.003388822,0.3879122,0.02112201,0.0003944329,0.0001679674,0.00192843,0.001702603,0.06010976],"genre_scores_gemma":[0.9750857,0.0006486467,0.01671734,0.0008135184,0.0004179204,0.0001424942,0.000552658,0.0002541462,0.00536754],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008819926,"threshold_uncertainty_score":0.02950561,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06303154819406136,"score_gpt":0.3012957554934848,"score_spread":0.2382642072994234,"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."}}