{"id":"W2608463673","doi":"","title":"Eliminating Dependent Pattern-Matching in Coq","year":2015,"lang":"en","type":"preprint","venue":"INRIA a CCSD electronic archive server","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Matching (statistics); Computer science; Mathematics; Statistics","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","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.002103233,0.0005698292,0.0006960757,0.0003368754,0.0001463676,0.0004167414,0.002685507,0.0003041653,0.00001484885],"category_scores_gemma":[0.0001029438,0.0005405368,0.0002297419,0.0001917927,0.00005248516,0.0003131041,0.003511694,0.002455161,0.0001392052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007438946,"about_ca_system_score_gemma":0.001076853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002775096,"about_ca_topic_score_gemma":0.01297595,"domain_scores_codex":[0.9950016,0.0007349742,0.0007834642,0.001305857,0.0007562063,0.001417935],"domain_scores_gemma":[0.9976068,0.0002156987,0.0005041334,0.001350924,0.0001174559,0.0002049597],"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.00004809974,0.0004876497,0.004911292,0.0006980355,0.000345065,0.0004429546,0.02460649,0.007152749,0.0002243243,0.8106521,0.001104622,0.1493266],"study_design_scores_gemma":[0.001420347,0.0003638897,0.001714458,0.0001968227,0.00003764715,0.0001096809,0.0002438778,0.0549039,0.000168619,0.9311689,0.008385459,0.001286432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1463823,0.001571957,0.8418242,0.0005148633,0.001667701,0.001277768,0.000008356887,0.0004472629,0.006305588],"genre_scores_gemma":[0.9972742,0.00004600105,0.001571072,0.0002364269,0.0003405898,0.0001899913,0.00006835804,0.00005191701,0.0002214605],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8508919,"threshold_uncertainty_score":0.9998462,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02103380073446219,"score_gpt":0.2629032335402418,"score_spread":0.2418694328057796,"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."}}