{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.007213589,0.0004777172,0.0006646932,0.0002102262,0.0004302374,0.0002136446,0.001341729,0.0004141292,0.0002854978],"category_scores_gemma":[0.001810523,0.0005309232,0.0003055003,0.0006227823,0.0005935091,0.001201707,0.001951762,0.0006693119,0.0001949261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000199876,"about_ca_system_score_gemma":0.0004433465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00292849,"about_ca_topic_score_gemma":0.001150999,"domain_scores_codex":[0.989751,0.006824056,0.001169964,0.0009662099,0.0007238488,0.0005648794],"domain_scores_gemma":[0.9887908,0.001633337,0.001941378,0.003395548,0.003954748,0.0002842076],"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.000009173006,0.0004297553,0.0009945212,0.000366873,0.00006703875,0.000003313317,0.01141455,0.0001141633,0.004531471,0.9400787,0.0009274285,0.04106299],"study_design_scores_gemma":[0.001852946,0.000002884324,0.03037129,0.01380401,0.0002301276,0.0001458345,0.0006107965,0.05248771,0.2001555,0.02438457,0.6739716,0.001982773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01968118,0.003398877,0.933551,0.006818383,0.001116047,0.0006324642,0.0003427778,0.0001910895,0.03426819],"genre_scores_gemma":[0.6022057,0.001036641,0.3752493,0.00008267515,0.00009867431,0.0001188661,0.001428362,0.00005666911,0.0197231],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9156941,"threshold_uncertainty_score":0.9997143,"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."}}