{"id":"W2767391894","doi":"10.48550/arxiv.1711.02455","title":"Revisionist Simulations: A New Approach to Proving Space Lower Bounds","year":2017,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Upper and lower bounds; Impossibility; Combinatorics; Snapshot (computer storage); Discrete mathematics; Computer science; Mathematics; Algorithm","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0002907604,0.0003612368,0.0004533487,0.0001846944,0.0005755539,0.001267627,0.003275556,0.0002848307,0.00001360072],"category_scores_gemma":[0.0001359756,0.0004032755,0.0002204113,0.000438654,0.00006716862,0.0006215023,0.002446249,0.0004789259,0.0002217998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002603174,"about_ca_system_score_gemma":0.0005502884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005648223,"about_ca_topic_score_gemma":0.00003941506,"domain_scores_codex":[0.997524,0.00008902614,0.0002533596,0.00154671,0.0001671182,0.0004198256],"domain_scores_gemma":[0.9959224,0.00005274954,0.0003980614,0.003019502,0.0002243014,0.0003829855],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003229422,0.0002094885,0.0006974494,0.0002176361,0.00009163939,0.0001788574,0.0004567325,0.6734405,0.00001990826,0.3059313,0.01620647,0.002517722],"study_design_scores_gemma":[0.0004899286,0.00004013675,0.0005907529,0.0005322076,0.00004304332,0.000006730977,0.00002908039,0.8947843,0.000008978623,0.01178687,0.09092003,0.0007679973],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007400062,0.0001031289,0.9665115,0.0003614354,0.0009165533,0.0006768043,0.00004114637,0.0002310986,0.02375823],"genre_scores_gemma":[0.9665045,0.00002070233,0.008701161,0.00009113315,0.0002046447,0.00000141145,0.0000265559,0.00001946241,0.02443039],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9591045,"threshold_uncertainty_score":0.9998419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08944707148155469,"score_gpt":0.2208138544299236,"score_spread":0.1313667829483689,"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."}}