{"id":"W1606359510","doi":"","title":"CoLoR : a Coq library on rewriting and termination","year":2006,"lang":"en","type":"article","venue":"TU/e Research Portal (Eindhoven University of Technology)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Programming language; Computer science; 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.0004580463,0.00009160351,0.0001670492,0.0006900636,0.0002737235,0.00005358456,0.0007627903,0.0001975555,0.00002090963],"category_scores_gemma":[0.00005266876,0.0000966291,0.00004072004,0.0008389994,0.0003699458,0.0004194764,0.0005995497,0.0003180342,0.00002700586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000334477,"about_ca_system_score_gemma":0.00009146737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002813968,"about_ca_topic_score_gemma":0.00005847573,"domain_scores_codex":[0.9987491,0.0000683915,0.0001330437,0.0003533684,0.0003535124,0.0003426336],"domain_scores_gemma":[0.9992887,0.00007509576,0.0001052932,0.0003607627,0.0001130199,0.00005708402],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002466831,0.0001815086,0.01217045,0.00006193575,0.0000203051,0.0007002871,0.0001547945,0.000002758191,0.002119353,0.9217662,0.004584339,0.05821344],"study_design_scores_gemma":[0.005656415,0.006668354,0.09696571,0.0003462015,0.00004671042,0.0005201777,0.01053088,0.01048318,0.05792003,0.3868535,0.4223366,0.001672266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8984576,0.0002709444,0.003704169,0.00469034,0.00006462994,0.0005847226,0.000005234318,0.0006675085,0.09155487],"genre_scores_gemma":[0.9943091,0.00002589455,0.002617998,0.000008417219,0.00002288897,0.00000108554,0.000005375976,0.000006253937,0.003002993],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5349126,"threshold_uncertainty_score":0.394042,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02149357843414553,"score_gpt":0.2570296979573262,"score_spread":0.2355361195231806,"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."}}