{"id":"W6947892631","doi":"10.4230/lipics.ccc.2025.28","title":"Provably Total Functions in the Polynomial Hierarchy","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Subterranean biodiversity and taxonomy","field":"Earth and Planetary Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Hierarchy; Proof complexity; Polynomial hierarchy; Verifiable secret sharing; Complexity class; Polynomial; Function (biology)","routes":{"ca_aff":true,"ca_fund":true,"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.002626953,0.0005298596,0.0007259789,0.001635842,0.001479984,0.004315612,0.001324198,0.0009183761,0.005671656],"category_scores_gemma":[0.01405962,0.0006590346,0.001786182,0.001765317,0.003591133,0.009858752,0.002867978,0.004501014,0.0007389343],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005611193,"about_ca_system_score_gemma":0.002521656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007081624,"about_ca_topic_score_gemma":0.005105955,"domain_scores_codex":[0.9965167,0.0007671342,0.0002247527,0.0007347015,0.001255185,0.0005015018],"domain_scores_gemma":[0.9875271,0.009631396,0.0004940786,0.001291137,0.0007697321,0.0002865295],"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.00003674065,0.00002740836,0.0003924324,0.0002170455,0.00002205437,0.00005965188,0.00038821,0.00801297,0.00118764,0.9605625,0.002181577,0.02691183],"study_design_scores_gemma":[0.0000149202,0.00001725641,0.0003132641,0.00004067436,0.0000232837,0.00008504099,0.00007317901,0.02187402,0.001175082,0.9685811,0.007785848,0.00001629634],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1089411,0.003486839,0.8104191,0.004940901,0.0001327885,0.0001860572,0.0009108472,0.001223583,0.06975876],"genre_scores_gemma":[0.7935066,0.002915461,0.1838932,0.00108889,0.0003941085,0.0002095165,0.001161789,0.0003880295,0.01644253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007081624,"threshold_uncertainty_score":0.0407123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01700601913867475,"score_gpt":0.211066257075784,"score_spread":0.1940602379371092,"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."}}