{"id":"W4415024543","doi":"10.48550/arxiv.2504.13506","title":"An algorithm to compute Selmer groups via resolutions by permutations modules","year":2025,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Advanced Mathematical Identities","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canarie","funders":"","keywords":"Morphism; Group (periodic table); Absolute Galois group; Galois group; Field (mathematics); Construct (python library); Resolution (logic)","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002706498,0.0005053984,0.0007271598,0.0002617668,0.0003504674,0.0001222716,0.0008133463,0.0003463733,0.0001268463],"category_scores_gemma":[0.0004211044,0.0005367673,0.0002269759,0.0002962392,0.000156796,0.0002445444,0.001000049,0.0007500873,0.0002840833],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002439743,"about_ca_system_score_gemma":0.00009932949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009234838,"about_ca_topic_score_gemma":0.00007778587,"domain_scores_codex":[0.9973078,0.0001502436,0.0007779032,0.0008257412,0.0004240831,0.0005142194],"domain_scores_gemma":[0.9971182,0.0005916467,0.0002477435,0.001433217,0.00033316,0.0002760408],"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.00004810022,0.005682392,0.003837151,0.005549985,0.002046156,0.0001142079,0.01888118,0.01366812,0.005198164,0.7522988,0.1829545,0.009721235],"study_design_scores_gemma":[0.0002603655,0.00005868748,0.001258651,0.0005115898,0.0002892839,0.000008336756,0.0004828019,0.0282869,0.0009200269,0.9653649,0.001793928,0.0007645008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09970079,0.0001693326,0.8942579,0.0006297546,0.0005758549,0.000934912,0.000764434,0.0006192002,0.00234784],"genre_scores_gemma":[0.1560273,0.00007409771,0.8140985,0.0005447796,0.0005365782,0.0008446061,0.0006269778,0.0001760078,0.02707117],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2130661,"threshold_uncertainty_score":0.9997084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0626161165864216,"score_gpt":0.3641303948079435,"score_spread":0.3015142782215219,"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."}}