{"id":"W2080886024","doi":"10.1112/s1461157009000187","title":"The Mordell–Weil sieve: proving non-existence of rational points on curves","year":2010,"lang":"en","type":"article","venue":"LMS Journal of Computation and Mathematics","topic":"Cryptography and Residue Arithmetic","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Sieve (category theory); Rational point; Algebra over a field; Genus; Rational number; Simple (philosophy)","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006340114,0.00007043234,0.0001366052,0.00008192987,0.0001119407,0.00008332545,0.0002870049,0.00002651778,0.000001935475],"category_scores_gemma":[0.0001387248,0.00004345066,0.00006214107,0.0001644157,0.00009259119,0.0001797487,0.00004301908,0.0001826378,0.00000120201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003022244,"about_ca_system_score_gemma":0.0000665221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.853135e-7,"about_ca_topic_score_gemma":0.000001968754,"domain_scores_codex":[0.9990959,0.0000273557,0.0003896543,0.00006741833,0.0003373017,0.00008241965],"domain_scores_gemma":[0.9985656,0.0005179078,0.0004636646,0.0001189144,0.0002831451,0.00005076676],"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.00005654218,0.0008816512,0.0004428775,0.0009660524,0.0001687932,0.00002648461,0.007983275,0.003090968,0.009862925,0.8721175,0.003066116,0.1013368],"study_design_scores_gemma":[0.001409183,0.0007639309,0.01083862,0.001233102,0.0000562108,0.0006676615,0.0004986203,0.4391126,0.006706796,0.5375775,0.000821651,0.0003141773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.171459,0.0001948758,0.8253754,0.001847239,0.0004099373,0.0001192515,6.799834e-7,0.000009037641,0.0005845124],"genre_scores_gemma":[0.7587404,0.0001573175,0.2408591,0.0001582385,0.0000512992,9.98952e-7,2.899142e-7,0.000004312335,0.00002799262],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5872814,"threshold_uncertainty_score":0.1771867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008561974885662713,"score_gpt":0.2542585128835853,"score_spread":0.2456965379979226,"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."}}