{"id":"W2953243176","doi":"10.48550/arxiv.0908.2363","title":"Polynomial-Space Approximation of No-Signaling Provers","year":2009,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"PSPACE; Gas meter prover; Class (philosophy); Mathematics; Theoretical computer science; Computer science; Algorithm; Discrete mathematics; Computational complexity theory; Mathematical proof; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004099001,0.001438857,0.002109095,0.001071679,0.001838882,0.00448959,0.005045809,0.00178868,0.007501434],"category_scores_gemma":[0.01942715,0.001152994,0.002819674,0.001686964,0.003105114,0.009221342,0.005244884,0.004808564,0.001838801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005502989,"about_ca_system_score_gemma":0.005175137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00490696,"about_ca_topic_score_gemma":0.00443785,"domain_scores_codex":[0.9929726,0.001650597,0.000271176,0.001519739,0.002027317,0.001558457],"domain_scores_gemma":[0.9833444,0.01006179,0.0008969009,0.003926666,0.001046596,0.0007237471],"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.002245613,0.0003490664,0.002206737,0.0003991656,0.000145951,0.0002397822,0.0008120016,0.4361539,0.008456076,0.4849616,0.004982937,0.05904714],"study_design_scores_gemma":[0.0001819943,0.0000729311,0.0001625646,0.00001997085,0.00004604276,0.00007104571,0.00004818567,0.710481,0.004584463,0.2827528,0.001557459,0.00002151071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1107178,0.0003047221,0.8701838,0.001104032,0.00006038783,0.0001905067,0.0003967515,0.002903428,0.01413847],"genre_scores_gemma":[0.6964652,0.0003075717,0.2913781,0.0003235386,0.00009405296,0.0003314319,0.0007665,0.0006165821,0.009717026],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007501434,"threshold_uncertainty_score":0.03992712,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03571592012634889,"score_gpt":0.2535438236931167,"score_spread":0.2178279035667678,"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."}}