{"id":"W2143473941","doi":"10.1145/2789208","title":"Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata","year":2015,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Royal Society of Canada; National Science Foundation","keywords":"Mathematics; Monotone polygon; Upper and lower bounds; Combinatorics; Rounding; Discrete mathematics; Rate of convergence; Function (biology); Newton's method; Probabilistic logic; Markov chain; Context (archaeology); Applied mathematics; Computer science; Nonlinear system","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003377798,0.000106218,0.0002925302,0.0001010827,0.00006442051,0.0001196003,0.001986379,0.00006766677,4.758036e-7],"category_scores_gemma":[0.002410918,0.00007059712,0.000095629,0.000119118,0.00004741939,0.0005000293,0.0004702103,0.0001577567,0.000001439056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001574406,"about_ca_system_score_gemma":0.0002209974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001151999,"about_ca_topic_score_gemma":2.168221e-7,"domain_scores_codex":[0.9985813,0.0002056093,0.000511671,0.000146305,0.0004000026,0.0001550536],"domain_scores_gemma":[0.9975663,0.0002278343,0.0007222104,0.001089194,0.0003126109,0.00008184004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003454219,0.001582073,0.001003505,0.001309439,0.0009161289,0.000007866576,0.02120896,0.4378971,0.1409991,0.2558056,0.09014291,0.04567304],"study_design_scores_gemma":[0.0006877196,0.0002831919,0.0003814858,0.000149065,0.00003989556,0.00008424438,0.00002652046,0.9751878,0.004774246,0.01759458,0.0007026424,0.00008859651],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1069105,0.0001576082,0.8887036,0.002606126,0.0009576111,0.0004178261,0.000007431855,0.00002020773,0.0002190367],"genre_scores_gemma":[0.1369772,0.000003817046,0.862493,0.0001034455,0.0001522408,0.000008451542,1.739063e-7,0.00001160215,0.0002501037],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5372907,"threshold_uncertainty_score":0.369122,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09159530198170775,"score_gpt":0.3446193043581732,"score_spread":0.2530240023764655,"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."}}