{"id":"W2727086139","doi":"","title":"CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version--","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":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; Satisfiability; Computer science; Simple (philosophy); Theoretical computer science; Constraint (computer-aided design); Solver; Process (computing); Programming language; Constraint programming; Algorithm; Normalization property; 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.001801853,0.0001565939,0.0001463156,0.0001229517,0.0003918143,0.0006179232,0.0007203888,0.00009478002,0.0000460223],"category_scores_gemma":[0.000165758,0.0001369556,0.00006036632,0.0003758612,0.00009394401,0.0009719958,0.00008194601,0.0001146681,0.00001410143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006564886,"about_ca_system_score_gemma":0.0001030983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001892957,"about_ca_topic_score_gemma":0.0003863095,"domain_scores_codex":[0.9976953,0.001042019,0.0002305837,0.0004733961,0.0003074566,0.0002513043],"domain_scores_gemma":[0.9972183,0.0002829826,0.0002148623,0.001021632,0.001173384,0.00008889819],"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.00001584594,0.0008307945,0.0007537375,0.00009502159,0.00002594492,0.00000426923,0.007465949,0.00009430124,0.002693942,0.6754557,0.0005340925,0.3120304],"study_design_scores_gemma":[0.003636315,0.00003611955,0.01010211,0.0002577167,0.00006019285,0.00006080611,0.0009610548,0.7923054,0.1167953,0.02495416,0.0496498,0.001181037],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02023635,0.00008626765,0.9643783,0.001935227,0.0001416226,0.0005709347,0.000003368147,0.0002621765,0.01238575],"genre_scores_gemma":[0.941341,0.000005589777,0.05650452,0.00004201997,0.00002023216,0.0001050551,0.00006679998,0.00001378147,0.001900949],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9211047,"threshold_uncertainty_score":0.5958648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01918748819343884,"score_gpt":0.2281748625178156,"score_spread":0.2089873743243768,"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."}}