{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008654919,0.002809273,0.002958194,0.003873212,0.00254775,0.006287402,0.007585611,0.003879706,0.01136228],"category_scores_gemma":[0.05898573,0.002365247,0.006055225,0.003432031,0.007998903,0.01980404,0.01370784,0.01346606,0.001724021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003145513,"about_ca_system_score_gemma":0.002667133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002060714,"about_ca_topic_score_gemma":0.002686562,"domain_scores_codex":[0.9857013,0.005736205,0.0007370745,0.001710293,0.005014528,0.001100595],"domain_scores_gemma":[0.9155422,0.0624142,0.002538882,0.01269715,0.004979995,0.001827598],"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.0002065844,0.00008952884,0.0006881256,0.0001959825,0.0001432674,0.0001629006,0.0003571534,0.05602551,0.001831577,0.9136015,0.004043922,0.02265396],"study_design_scores_gemma":[0.00002914964,0.00003704772,0.00007531933,0.00003221679,0.00005120168,0.00005254312,0.00003649732,0.1859357,0.001273497,0.8093473,0.00309957,0.00002988881],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005948267,0.0002527077,0.9839797,0.00105855,0.0001491348,0.00007032734,0.000118807,0.0004668672,0.007955677],"genre_scores_gemma":[0.5428224,0.001421452,0.4310017,0.002096004,0.001754601,0.0007967729,0.0007466665,0.001340595,0.01801987],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01136228,"threshold_uncertainty_score":0.04577214,"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."}}