{"id":"W4402522828","doi":"10.1002/malq.202400030","title":"Effectiveness of Walker's cancellation theorem","year":2024,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Power Line Communications and Noise","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Mathematical economics; Calculus (dental); Discrete mathematics; Mathematics education; Medicine","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.0003074761,0.00008501898,0.0001484888,0.00004954011,0.00001552242,0.00002324823,0.0001220744,0.00004562435,0.0001979409],"category_scores_gemma":[0.00001187371,0.00006509447,0.00005781792,0.0001357828,0.00004019519,0.00004116725,0.00000722305,0.00008994617,0.0001329683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002630143,"about_ca_system_score_gemma":0.000007807119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001890843,"about_ca_topic_score_gemma":0.000001015707,"domain_scores_codex":[0.9995006,0.00005142164,0.0001863487,0.0000804205,0.00007876437,0.0001024775],"domain_scores_gemma":[0.9992306,0.0004441235,0.000009380793,0.0002674716,0.0000183631,0.00003009572],"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.000007292357,0.00005641935,0.000006110562,0.002341311,0.00005595124,0.00000484052,0.0008875845,0.0005527412,0.01623638,0.9620544,0.0002538716,0.01754308],"study_design_scores_gemma":[0.0001254928,0.0001604803,0.000310963,0.0006018937,0.0000335905,0.00001047001,0.00008725259,0.1930934,0.004581041,0.799656,0.001170241,0.0001691803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4254571,0.003308589,0.4249893,0.0001397891,0.0004703082,0.0005074996,0.00003913888,0.0007634349,0.1443248],"genre_scores_gemma":[0.9982491,0.00001354459,0.001624738,0.000002156888,0.00001732382,0.00002350904,0.000006368725,0.00001514557,0.00004814603],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5727919,"threshold_uncertainty_score":0.2654476,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01013767552384534,"score_gpt":0.2465455377087764,"score_spread":0.2364078621849311,"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."}}