{"id":"W4412645737","doi":"10.4153/s000843952510091x","title":"A classification of incompleteness statements","year":2025,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Science Foundation","keywords":"Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002931521,0.00009335254,0.0001800678,0.0001690031,0.00007899174,0.00005652585,0.0006274985,0.00005712097,0.000800196],"category_scores_gemma":[0.0002357866,0.00008249397,0.00004719665,0.0002987951,0.00006656292,0.00004700135,0.00007774519,0.00007065989,0.001570372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000111792,"about_ca_system_score_gemma":0.0003128162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004721923,"about_ca_topic_score_gemma":0.0005712628,"domain_scores_codex":[0.9990785,0.00005185479,0.0002787246,0.0002125308,0.0001223685,0.0002560425],"domain_scores_gemma":[0.9990796,0.0001306125,0.00006203943,0.0004228441,0.0001095139,0.0001954228],"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":[9.485329e-7,0.00003563277,0.0002565995,0.00008741741,0.00001200798,0.000004235123,0.0001862083,9.82742e-7,0.0001035347,0.985475,0.009916318,0.003921132],"study_design_scores_gemma":[0.000763431,0.00007566633,0.01745029,0.0003595774,0.00002835491,0.00000932174,0.0002016829,0.02217758,0.0008685482,0.6164851,0.3411611,0.0004193545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02795657,0.0001234004,0.6134664,0.008984344,0.000245249,0.0003818766,0.000009819893,0.00008969464,0.3487427],"genre_scores_gemma":[0.9882344,0.000002518757,0.00803242,0.0004415011,0.00001193574,0.00002521556,0.000003017885,0.000004673,0.003244337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9602778,"threshold_uncertainty_score":0.999207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02469761109309322,"score_gpt":0.2878158349704852,"score_spread":0.263118223877392,"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."}}