{"id":"W3037248523","doi":"10.1090/mcom/3616","title":"Strengthening the Baillie-PSW primality test","year":2021,"lang":"en","type":"article","venue":"Mathematics of Computation","topic":"Analytic Number Theory Research","field":"Mathematics","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"Natural Sciences and Engineering Research Council of Canada; University of Lethbridge","keywords":"Primality test; Fermat's Last Theorem; Prime (order theory); Test (biology); Mathematics; Arithmetic; Discrete mathematics; Computer science; Combinatorics","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.01438297,0.001721741,0.002592904,0.004096848,0.00218256,0.004387181,0.003079352,0.002949431,0.01671695],"category_scores_gemma":[0.08333908,0.001245293,0.00286627,0.002258644,0.007912672,0.01401737,0.009809738,0.008066874,0.006501977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001824715,"about_ca_system_score_gemma":0.002925477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004662477,"about_ca_topic_score_gemma":0.0003210149,"domain_scores_codex":[0.9820257,0.006390595,0.001131009,0.003653133,0.005244607,0.001554966],"domain_scores_gemma":[0.9536957,0.02862721,0.002356062,0.006792734,0.007074035,0.00145434],"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.001072794,0.0001525479,0.003821444,0.0003698034,0.00009542478,0.000467044,0.0002939491,0.01078423,0.007584846,0.8733754,0.01045682,0.09152578],"study_design_scores_gemma":[0.0001778939,0.0004790648,0.001220453,0.00009654739,0.00006570824,0.0006333686,0.0001136162,0.06142311,0.02174273,0.8929874,0.02089607,0.0001641071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08676424,0.0008009216,0.8372838,0.004633061,0.001598571,0.0004315715,0.001030423,0.002632774,0.06482466],"genre_scores_gemma":[0.7060373,0.0007033756,0.2722209,0.002429819,0.00148468,0.0006000343,0.001991403,0.001575921,0.01295664],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01671695,"threshold_uncertainty_score":0.07606536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07095565971968469,"score_gpt":0.3657131861768396,"score_spread":0.2947575264571549,"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."}}