{"id":"W4401249586","doi":"10.1137/20m1322923","title":"Revisionist Simulations: A New Approach to Proving Space Lower Bounds","year":2024,"lang":"en","type":"article","venue":"SIAM Journal on Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba; University of Toronto","funders":"","keywords":"Space (punctuation); Computer science; Mathematics; Combinatorics; Theoretical computer science; Algorithm; Discrete mathematics","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0008253347,0.0001934616,0.0002360935,0.0001998206,0.0005381902,0.003412412,0.0007409902,0.00005784565,0.00001019126],"category_scores_gemma":[0.0001381157,0.0001603433,0.0001377179,0.0009518714,0.0000131963,0.0004644685,0.0001952137,0.0005123784,0.0002077716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001667086,"about_ca_system_score_gemma":0.0002848302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009609247,"about_ca_topic_score_gemma":6.123408e-7,"domain_scores_codex":[0.9980416,0.00009022938,0.0004690279,0.0004833523,0.0005156267,0.0004001138],"domain_scores_gemma":[0.9988719,0.0001746786,0.0001261436,0.0003940191,0.0001127479,0.0003205492],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001924152,0.0002011476,0.00008939982,0.0001883487,0.00008846074,0.0003390422,0.002694582,0.3446782,0.0003764924,0.1764383,0.09011738,0.3847694],"study_design_scores_gemma":[0.0001564083,0.00009228366,0.0001044031,0.001114614,0.000004622145,0.0003290397,0.00002574473,0.7650986,0.00001663025,0.0007727261,0.2320765,0.0002084522],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003320249,0.0008395307,0.9815212,0.002705772,0.002206413,0.0001950217,0.000002220655,0.0002205376,0.008989077],"genre_scores_gemma":[0.9268153,0.000004297766,0.0697897,0.0004977066,0.001338387,8.2266e-7,0.0000015017,0.00001926955,0.001533017],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9234951,"threshold_uncertainty_score":0.9976221,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02322180740497508,"score_gpt":0.2927665417462249,"score_spread":0.2695447343412498,"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."}}