{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005338339,0.0005893689,0.000930219,0.00117724,0.001389838,0.001574344,0.001653071,0.001420638,0.0103545],"category_scores_gemma":[0.04569506,0.000293919,0.000641927,0.00132051,0.002598516,0.003483058,0.001398597,0.00184536,0.0006032984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003046892,"about_ca_system_score_gemma":0.002677717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004490987,"about_ca_topic_score_gemma":0.005082643,"domain_scores_codex":[0.9966038,0.001368689,0.000165175,0.000472742,0.0008091099,0.0005805722],"domain_scores_gemma":[0.9621177,0.0272002,0.002275893,0.005477862,0.001953666,0.0009747086],"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.001252697,0.0004683766,0.01810681,0.0005764583,0.0001749575,0.0003143348,0.0008240737,0.1715114,0.002768836,0.7573823,0.01960065,0.02701893],"study_design_scores_gemma":[0.0005225677,0.0001853023,0.003540766,0.00007922435,0.0000528759,0.0001280365,0.0006008792,0.4657162,0.005381743,0.5181993,0.005534254,0.00005869732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8865407,0.0006009429,0.05579232,0.004080065,0.0001623164,0.0001221939,0.001702177,0.0009042367,0.05009506],"genre_scores_gemma":[0.9842498,0.00007034866,0.01364223,0.0001387,0.00001994853,0.00006801936,0.0004174986,0.00006495437,0.001328442],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0103545,"threshold_uncertainty_score":0.03463924,"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."}}