{"id":"W2398327122","doi":"10.1109/fmcad.2015.7542253","title":"Compositional recurrence analysis","year":2015,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Abstraction; Computer science; Transition (genetics); Transition system; Program analysis; Recurrence relation; Theoretical computer science; Loop (graph theory); Algorithm; Algebra over a field; Programming language; Mathematics; Pure mathematics; Combinatorics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004353192,0.00003760261,0.00006045641,0.0001051814,0.00002749205,0.00005594148,0.0004451337,0.00001699195,0.0000204007],"category_scores_gemma":[0.00004633013,0.00003289968,0.00003422621,0.0009302464,0.00001947844,0.0003783773,0.00007980807,0.00003689821,0.0001399858],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002769944,"about_ca_system_score_gemma":0.00003296261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001159936,"about_ca_topic_score_gemma":0.000001612376,"domain_scores_codex":[0.9994122,0.00006182153,0.0000948915,0.0001461824,0.0002056491,0.00007923457],"domain_scores_gemma":[0.9994447,0.00002262999,0.00003188216,0.0003140297,0.0001100561,0.00007671513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001631964,0.00002420916,0.001617701,6.692756e-7,0.00002897185,7.535617e-7,0.0001582182,0.0004536729,0.00008581176,0.9838554,0.001497317,0.01227565],"study_design_scores_gemma":[0.0001417962,0.00005683257,0.02367952,0.000001888141,0.00002991588,0.00000878206,0.00002091871,0.9417703,0.005070178,0.02250511,0.006552455,0.000162273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002499518,0.00001709298,0.9675326,0.0002785915,0.0001690701,0.00002521755,5.595037e-7,0.00009510526,0.02938225],"genre_scores_gemma":[0.2153353,6.211054e-7,0.7843438,0.0001459109,0.0000138947,0.000003388664,0.000003070552,7.155576e-7,0.0001533047],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9613503,"threshold_uncertainty_score":0.179928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08949856153707213,"score_gpt":0.3436620251147191,"score_spread":0.254163463577647,"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."}}