{"id":"W2950837701","doi":"10.1109/lics.2004.1319620","title":"The strength of replacement in weak arithmetic","year":2004,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Combinatorics; Sigma; Mathematics; Discrete mathematics; Bounded function; Physics; Quantum mechanics; Mathematical analysis","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":[],"consensus_categories":[],"category_scores_codex":[0.0002835488,0.00005083411,0.00006754234,0.00005287926,0.000068177,0.00004009719,0.0005819353,0.00001434535,0.000009281794],"category_scores_gemma":[0.00002322917,0.00003322526,0.0000322836,0.000348751,0.00006423736,0.00008461039,0.000176476,0.0000693679,0.000006532836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002286932,"about_ca_system_score_gemma":0.00004019032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001735885,"about_ca_topic_score_gemma":0.0003042033,"domain_scores_codex":[0.9993514,0.00002111956,0.0001748689,0.0001428243,0.0001690235,0.000140776],"domain_scores_gemma":[0.9994082,0.00009037397,0.0000359011,0.0004209837,0.00002146629,0.00002307918],"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.000002315367,0.00007114182,0.0002097015,0.000002389652,0.000003789967,0.000001284319,0.0001618495,0.0001280359,0.00002421404,0.9641509,0.00008752798,0.03515684],"study_design_scores_gemma":[0.002109816,0.0005053383,0.01906919,0.0000821483,0.000003903138,0.00001923236,0.0005086452,0.05002525,0.01399647,0.8883856,0.02496543,0.000328956],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08037774,0.0005005657,0.8208736,0.009917296,0.0008257413,0.0004054057,0.000001764477,0.0001689245,0.08692898],"genre_scores_gemma":[0.9055448,0.00004853971,0.09370481,0.00009948065,0.00001412968,0.000008042543,2.470972e-7,0.000002369916,0.0005775387],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8251671,"threshold_uncertainty_score":0.1354887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0147096968716928,"score_gpt":0.2442917186731183,"score_spread":0.2295820218014255,"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."}}