{"id":"W1505990740","doi":"10.1007/978-3-540-30124-0_27","title":"A Third-Order Bounded Arithmetic Theory for PSPACE","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"PSPACE; Mathematical proof; Bounded function; Symbol (formal); Mathematics; Discrete mathematics; Translation (biology); Computer science; Computational complexity theory; 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"],"consensus_categories":[],"category_scores_codex":[0.00166133,0.0007438642,0.0007388607,0.0007489846,0.0005229228,0.0009886207,0.004434004,0.000514188,0.00002856617],"category_scores_gemma":[0.0004159368,0.0006260669,0.0002784098,0.000781127,0.001092475,0.0005556465,0.001304876,0.0008482477,0.00008870444],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005242979,"about_ca_system_score_gemma":0.00173279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001735592,"about_ca_topic_score_gemma":0.0001121605,"domain_scores_codex":[0.9954171,0.00005385325,0.0005200997,0.002060699,0.0008723834,0.001075924],"domain_scores_gemma":[0.9960611,0.00107544,0.0003346893,0.001721676,0.000550275,0.0002568296],"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.00001103186,0.00005784073,0.00001094471,0.00006276747,0.00001900634,0.00004066686,0.001361291,0.003035689,0.00002216421,0.8024204,0.00004723151,0.192911],"study_design_scores_gemma":[0.0007044875,0.0002870391,0.00002831349,0.0003218442,0.00001468212,0.00009666738,2.890242e-7,0.07911827,0.0004111611,0.9126944,0.005515063,0.000807791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001479131,0.001052865,0.9702287,0.0009814946,0.0027353,0.0008176436,0.000006709115,0.0003184395,0.02384411],"genre_scores_gemma":[0.04587483,0.00006943638,0.9458467,0.002994407,0.001062878,0.00006191053,0.000009242987,0.00008285735,0.003997697],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1921032,"threshold_uncertainty_score":0.9996191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01563217029399848,"score_gpt":0.2489750635902898,"score_spread":0.2333428932962913,"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."}}