{"id":"W2170001390","doi":"10.1016/j.ic.2017.06.003","title":"Space proof complexity for random 3-CNFs","year":2017,"lang":"en","type":"preprint","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"European Research Council; Seventh Framework Programme; Sapienza Università di Roma; European Commission; Simons Foundation","keywords":"Lemma (botany); Mathematics; Combinatorics; Omega; Bipartite graph; Resolution (logic); Monomial; Upper and lower bounds; Discrete mathematics; Space (punctuation); Algebraic number; Disjoint sets; Physics; Computer science; Mathematical analysis; Graph","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.004919099,0.00108234,0.00219013,0.001629012,0.002365744,0.007005503,0.003166006,0.002936743,0.02594076],"category_scores_gemma":[0.03189985,0.0009165294,0.002519627,0.002221178,0.003498182,0.01452537,0.004354854,0.00450438,0.001906025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005395846,"about_ca_system_score_gemma":0.006568772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004497572,"about_ca_topic_score_gemma":0.005711645,"domain_scores_codex":[0.9913568,0.002438798,0.0004723688,0.001308906,0.002978523,0.001444441],"domain_scores_gemma":[0.9510012,0.0382347,0.001639504,0.005628774,0.002173866,0.00132197],"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.0006758948,0.000174382,0.001719565,0.0004783263,0.00009756978,0.0001840525,0.0007132654,0.04944695,0.002830542,0.8967043,0.010677,0.03629809],"study_design_scores_gemma":[0.00006797593,0.00002136735,0.0001865316,0.00002887528,0.00003682306,0.00006825806,0.00005692475,0.08275544,0.001100828,0.9141338,0.001521073,0.00002217078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3333544,0.002488503,0.5998474,0.01244643,0.0005023463,0.0004670005,0.003961657,0.00260467,0.04432753],"genre_scores_gemma":[0.9252646,0.0006811306,0.05885917,0.0008119564,0.0003554452,0.0003252917,0.001473132,0.0005850604,0.01164417],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02594076,"threshold_uncertainty_score":0.08678043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03906740328881324,"score_gpt":0.295286773477019,"score_spread":0.2562193701882058,"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."}}