{"id":"W2614522653","doi":"","title":"A relaxation of Coq's guard condition","year":2012,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Guard (computer science); Proof assistant; Computer science; Programming language; Algebraic number; Commutative property; Dependency (UML); Theoretical computer science; Calculus (dental); Algebra over a field; Discrete mathematics; Mathematics; Artificial intelligence; Pure mathematics; Mathematical proof; Geometry","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008822897,0.001487522,0.002409941,0.001875469,0.003355054,0.005558653,0.004637948,0.004146899,0.03272838],"category_scores_gemma":[0.0519276,0.0009491026,0.002101269,0.00322838,0.006015941,0.01807407,0.00769707,0.01264842,0.004931794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003337994,"about_ca_system_score_gemma":0.004723047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004831721,"about_ca_topic_score_gemma":0.002208436,"domain_scores_codex":[0.9920736,0.002178284,0.0004182062,0.002007966,0.001690847,0.001631165],"domain_scores_gemma":[0.9513724,0.03215161,0.001255922,0.008790682,0.004379312,0.002050127],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007632934,0.00008807248,0.0003770296,0.0002374913,0.00003598881,0.0002135243,0.0003180605,0.004535207,0.001741222,0.9295631,0.03161356,0.03051349],"study_design_scores_gemma":[0.0001546131,0.00006349334,0.0001633046,0.00005660128,0.00005034111,0.0001770946,0.000135946,0.05590422,0.001970943,0.9289452,0.01233693,0.00004136732],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05338791,0.00197726,0.7689237,0.02478519,0.004993735,0.0002055408,0.001325855,0.003295711,0.1411051],"genre_scores_gemma":[0.8030242,0.00122993,0.1411316,0.005989288,0.004100794,0.0004652267,0.001262082,0.002657435,0.04013937],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03272838,"threshold_uncertainty_score":0.1094873,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02117825145165336,"score_gpt":0.246239888398219,"score_spread":0.2250616369465656,"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."}}