{"id":"W2727889954","doi":"","title":"CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; Computer science; Satisfiability; Simple (philosophy); Constraint (computer-aided design); Theoretical computer science; Process (computing); Solver; Programming language; Constraint programming; Algorithm; Mathematics; Mathematical optimization","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.0003277225,0.0001026657,0.00008904697,0.00008518608,0.0000884024,0.0001613134,0.0001949225,0.00007881369,0.0000220213],"category_scores_gemma":[0.00004902567,0.00007883119,0.00003956155,0.0002281802,0.00001625548,0.0002783199,0.00001368565,0.00008319302,0.0000663159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005070284,"about_ca_system_score_gemma":0.00008292749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006195642,"about_ca_topic_score_gemma":0.00002915113,"domain_scores_codex":[0.9990684,0.00009951416,0.0001561262,0.0002918592,0.0002023217,0.0001817829],"domain_scores_gemma":[0.9994701,0.00002185569,0.00006476854,0.0003251199,0.00007626329,0.00004192849],"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.000004482481,0.0004145021,0.001885794,0.00003586357,0.000009235419,0.00001774335,0.0003569557,0.000727994,0.00107614,0.8015994,0.0005180841,0.1933538],"study_design_scores_gemma":[0.003720776,0.001902939,0.01527109,0.00002093316,0.00002059011,0.00009769955,0.0002560152,0.7835933,0.09925597,0.01820251,0.0763451,0.001313075],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003206456,0.00001121063,0.9664474,0.00008832942,0.0005052713,0.000367187,1.567691e-7,0.0001834579,0.02919052],"genre_scores_gemma":[0.9872794,2.462485e-7,0.009863392,0.0001318148,0.00003547071,0.00004592857,0.000002522813,0.000005200909,0.002636092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9840729,"threshold_uncertainty_score":0.3214643,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0430919674253948,"score_gpt":0.2720293719307241,"score_spread":0.2289374045053293,"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."}}