{"id":"W2621402653","doi":"10.1016/j.jcss.2017.12.003","title":"Towards a unified complexity theory of total functions","year":2017,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"National Science Foundation of Sri Lanka; Simons Institute for the Theory of Computing, University of California Berkeley; Environment and Climate Change Canada; National Science Foundation","keywords":"Class (philosophy); Mathematics; Complexity class; Discrete mathematics; Algebra over a field; Computer science; Theoretical computer science; Pure mathematics; Time complexity; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005066989,0.001202681,0.001816596,0.004969259,0.001939894,0.007930656,0.003585723,0.002624929,0.00481094],"category_scores_gemma":[0.01036013,0.001025493,0.002763181,0.003345216,0.007593764,0.0230569,0.006446334,0.008161589,0.0009868658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003803051,"about_ca_system_score_gemma":0.001668297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001659701,"about_ca_topic_score_gemma":0.001407491,"domain_scores_codex":[0.9969561,0.001053676,0.0001868811,0.0005221974,0.0009694419,0.00031171],"domain_scores_gemma":[0.9922304,0.004073355,0.0004287979,0.001343317,0.001423774,0.0005004107],"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.000002545959,0.000003479189,0.00004460005,0.000009952338,0.000002817146,0.000004934786,0.00004553231,0.0006326709,0.00004630145,0.9974408,0.0003578676,0.001408452],"study_design_scores_gemma":[0.000002993977,0.000003817286,0.0000379634,0.000006687514,0.000003109896,0.000008742672,0.00001851989,0.004633582,0.00003511148,0.9938037,0.001440904,0.000004791974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02206489,0.0014353,0.9427082,0.005126446,0.000273464,0.00003980045,0.0002013377,0.0002090827,0.02794138],"genre_scores_gemma":[0.5890326,0.003465568,0.3810845,0.002884723,0.002412719,0.0003930474,0.0007055583,0.0005438433,0.01947748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007930656,"threshold_uncertainty_score":0.02759314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0746962879741267,"score_gpt":0.2868724066748838,"score_spread":0.2121761187007571,"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."}}