{"id":"W2999271008","doi":"10.5802/jtnb.1115","title":"Numerical verification of the Cohen–Lenstra–Martinet heuristics and of Greenberg’s <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>p</mml:mi> </mml:math> -rationality conjecture","year":2020,"lang":"en","type":"article","venue":"Journal de Théorie des Nombres de Bordeaux","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Okanagan University College; University of British Columbia, Okanagan Campus; University of British Columbia","funders":"","keywords":"Conjecture; Heuristics; Rationality; Mathematics; Heuristic; Field (mathematics); Combinatorics; Mathematical economics; Pure mathematics; Epistemology; Mathematical optimization; Philosophy","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.0003771885,0.000122012,0.0001295551,0.00002995502,0.0002177294,0.0001410138,0.0004419204,0.0001185233,0.000008271595],"category_scores_gemma":[0.0003410147,0.0001152043,0.0001358512,0.000221855,0.0001987146,0.0002279701,0.0001676358,0.0002968536,0.000008318391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001667246,"about_ca_system_score_gemma":0.0004459449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007299177,"about_ca_topic_score_gemma":0.00001227658,"domain_scores_codex":[0.9987009,0.0001088041,0.0004237768,0.00019607,0.0003507046,0.0002197948],"domain_scores_gemma":[0.9988104,0.0002235465,0.0004785835,0.000233265,0.0000982782,0.0001559757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007279721,0.00004540002,0.0003343975,0.00008963076,0.00005562967,0.00001964705,0.001018023,0.002183189,0.001728596,0.9899681,0.0005825345,0.003902041],"study_design_scores_gemma":[0.000408357,0.0003234139,0.01762169,0.00008633537,0.00006599929,0.0003806257,0.00008254879,0.9485121,0.008598464,0.02257711,0.001186679,0.0001566298],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9277034,0.0001769499,0.06958609,0.001938051,0.0002141777,0.00002820204,0.00002212092,0.0000250516,0.0003059744],"genre_scores_gemma":[0.9925473,0.00006248568,0.006575895,0.0005189275,0.0002590096,0.000005977033,0.000008039875,0.00001351773,0.00000883856],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.967391,"threshold_uncertainty_score":0.4697894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01596823401961374,"score_gpt":0.2365076943428319,"score_spread":0.2205394603232181,"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."}}