{"id":"W1974070050","doi":"10.1002/rsa.10089","title":"Space complexity of random formulae in resolution","year":2003,"lang":"en","type":"article","venue":"Random Structures and Algorithms","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Institute for Advanced Research","funders":"","keywords":"Space (punctuation); Resolution (logic); Computer science; Mathematics; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005688687,0.0001435123,0.0003793216,0.00009454446,0.00009486647,0.00007036061,0.0002174979,0.00007968163,0.000009371296],"category_scores_gemma":[0.00007816661,0.0001056632,0.00007492869,0.0002374924,0.0001257897,0.0001689945,0.00005582683,0.0001124863,0.000001071237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002280745,"about_ca_system_score_gemma":0.00003671121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003477585,"about_ca_topic_score_gemma":0.00006816649,"domain_scores_codex":[0.9987717,0.00017735,0.0002997747,0.0002822114,0.0002069252,0.0002620447],"domain_scores_gemma":[0.9993873,0.0001011038,0.000131475,0.0002619962,0.00004826672,0.00006988883],"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.0001194738,0.00002360466,0.0008403948,0.00005632246,0.00002147752,0.00001062695,0.0008519655,0.0001514774,0.0002685199,0.9807488,0.00007693622,0.01683041],"study_design_scores_gemma":[0.03293864,0.0002427984,0.009065062,0.00002046577,0.0000199934,0.0001500837,0.0001963774,0.06125256,0.005186896,0.8772364,0.01318894,0.0005017882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03158595,0.002608032,0.9611246,0.000126028,0.0006250446,0.0006115818,0.000002946275,0.00006772571,0.003248085],"genre_scores_gemma":[0.9796321,0.00006440518,0.0201563,0.00002387627,0.00004487883,0.000008626453,0.000002409579,0.000005418491,0.00006201983],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9480461,"threshold_uncertainty_score":0.4308819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02431304330521862,"score_gpt":0.253169672390741,"score_spread":0.2288566290855223,"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."}}