{"id":"W157860245","doi":"","title":"CARIBOO: An Induction Based Proof Tool for Termination with Strategies","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; Computer science; Satisfiability; Simple (philosophy); Theoretical computer science; Constraint (computer-aided design); Solver; Process (computing); Programming language; Normalization property; Algorithm; Mathematics","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.001876422,0.0001476588,0.0001394874,0.000108918,0.0003340863,0.0006978673,0.0006946969,0.00008756281,0.00002973471],"category_scores_gemma":[0.0001507074,0.0001281758,0.00005354872,0.0003584857,0.00008793221,0.0009178682,0.00006879675,0.0001078429,0.00000970189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005271393,"about_ca_system_score_gemma":0.00009271382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002173705,"about_ca_topic_score_gemma":0.0006258533,"domain_scores_codex":[0.9977925,0.001027616,0.0002287097,0.0004411314,0.0002689138,0.0002411755],"domain_scores_gemma":[0.997345,0.0002572211,0.0002068113,0.0009947522,0.001116621,0.00007955797],"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.000006096187,0.0004832135,0.0008600512,0.00006767375,0.00001598977,0.000002221469,0.006065772,0.00007635728,0.001637636,0.7340325,0.0002357729,0.2565167],"study_design_scores_gemma":[0.002695115,0.00002673307,0.007661533,0.0002190848,0.00004816608,0.00005884167,0.0006356484,0.7954006,0.1163166,0.02651629,0.04931854,0.001102826],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01744094,0.00008458981,0.9658793,0.002006048,0.0001121017,0.0005363653,0.000002285272,0.0002490789,0.01368935],"genre_scores_gemma":[0.9348747,0.000004410493,0.06293353,0.00004382848,0.00002163205,0.0001290101,0.00004869756,0.00001358744,0.001930598],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9174337,"threshold_uncertainty_score":0.672955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02258551026514431,"score_gpt":0.230071555169519,"score_spread":0.2074860449043747,"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."}}