{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006033908,0.0001730686,0.0004408572,0.0000155744,0.0004385081,0.00005491148,0.0004733323,0.00005398637,0.0001601547],"category_scores_gemma":[0.002209102,0.0001150693,0.0004830658,0.0006703457,0.0006808485,0.0001120602,0.0004820682,0.000268178,0.000005370814],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003189154,"about_ca_system_score_gemma":0.00004562284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003776438,"about_ca_topic_score_gemma":3.69419e-7,"domain_scores_codex":[0.9985271,0.00001526086,0.0004287438,0.0002286881,0.0004832509,0.0003170039],"domain_scores_gemma":[0.9979166,0.0008232165,0.000522589,0.0002461256,0.0004236718,0.00006774021],"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.000004161856,0.0001147749,0.001326335,0.0003600543,0.0001254627,1.688337e-7,0.002360783,9.480327e-7,0.007533178,0.9846546,0.003253164,0.0002663449],"study_design_scores_gemma":[0.0001350585,0.00001917627,0.0004177356,0.0001096251,0.0001178893,0.0000142757,0.004714984,0.00114538,0.01183236,0.9809644,0.0003723349,0.0001567646],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9614514,0.00004120794,0.003511816,0.00103275,0.00007374345,0.0002094139,0.000008846499,0.0001003495,0.03357046],"genre_scores_gemma":[0.8996,0.00001730099,0.09853563,0.0005035253,0.00008725963,0.00001879647,4.943894e-7,0.000035712,0.001201246],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09502381,"threshold_uncertainty_score":0.4692389,"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."}}