{"id":"W4406691577","doi":"10.46298/lmcs-21(1:5)2025","title":"Complete and tractable machine-independent characterizations of second-order polytime","year":2025,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Order (exchange); Computer science; Finance; Business","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001573762,0.0001498335,0.0003066202,0.0004107716,0.0001691739,0.0002000701,0.001181422,0.00005839578,0.00002103524],"category_scores_gemma":[0.0001302809,0.0001260265,0.00004006854,0.002156515,0.0003387204,0.0005995554,0.001044187,0.000193596,0.000002535022],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000043307,"about_ca_system_score_gemma":0.0001658292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000292553,"about_ca_topic_score_gemma":0.00000844928,"domain_scores_codex":[0.9980829,0.0002469487,0.0004392991,0.000641024,0.0002521888,0.0003376654],"domain_scores_gemma":[0.9986961,0.0005683399,0.0001221578,0.0003992667,0.0001095206,0.000104643],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000680478,0.0001553752,0.001401818,0.0000316932,0.000007105417,0.000006525325,0.0003641845,0.0008355126,0.06348951,0.150329,0.00001174586,0.7833608],"study_design_scores_gemma":[0.0003270113,0.0000791021,0.1393651,0.00004117937,0.000002572093,0.00001554333,0.000002589213,0.8117399,0.004281867,0.04352349,0.0004635961,0.0001581221],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03354869,0.0001033859,0.9637592,0.0008376428,0.0006303894,0.0001670156,0.000003919778,0.00006111242,0.0008885794],"genre_scores_gemma":[0.3368652,0.000004892606,0.6624671,0.0005903562,0.00001802726,0.000005549776,8.066843e-7,0.000001903535,0.00004617145],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8109044,"threshold_uncertainty_score":0.5139213,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03376457694636763,"score_gpt":0.3425569021045388,"score_spread":0.3087923251581712,"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."}}