{"id":"W3173056581","doi":"10.1090/proc/15674","title":"Counting solvable 𝑆-unit equations","year":2021,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Australian Research Council; Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Annotation; Algorithm; Computer science; Semantics (computer science); Type (biology); Class (philosophy); Artificial intelligence; Programming language; Biology","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.002801243,0.001356701,0.001711864,0.003537417,0.001839128,0.004348956,0.003559893,0.001766142,0.02637412],"category_scores_gemma":[0.02319615,0.0008020335,0.002463739,0.002532161,0.00274818,0.008610466,0.004483346,0.005051862,0.003739621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003875232,"about_ca_system_score_gemma":0.001560805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003152203,"about_ca_topic_score_gemma":0.003979627,"domain_scores_codex":[0.9965209,0.0007359883,0.0002813072,0.0006065033,0.001210095,0.0006452898],"domain_scores_gemma":[0.9873393,0.008144488,0.0008025395,0.001460087,0.001613599,0.0006400749],"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.0000683851,0.00003232789,0.000594684,0.000204144,0.00002605814,0.0000889646,0.0002661512,0.003230228,0.0007846652,0.9787359,0.004655097,0.01131336],"study_design_scores_gemma":[0.00002428709,0.00001264099,0.0002083497,0.00004151904,0.00002346181,0.00005754669,0.00004732407,0.04048207,0.001313948,0.9542711,0.003495917,0.0000218214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2399042,0.002650761,0.4777239,0.006207471,0.001064214,0.0002570802,0.002238126,0.001972851,0.2679815],"genre_scores_gemma":[0.8104495,0.001382376,0.1035276,0.001439026,0.0009770433,0.0004885767,0.00234151,0.001024506,0.07836982],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02637412,"threshold_uncertainty_score":0.08823025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03375398147477771,"score_gpt":0.2984451555131959,"score_spread":0.2646911740384182,"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."}}