{"id":"W4287101829","doi":"","title":"A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse","year":2021,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Toolbox; Artifact (error); Computer science; Reuse; Software engineering; Programming language; Artificial intelligence; Engineering; Waste management","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.005721511,0.002538788,0.001529274,0.00195354,0.001002752,0.004703673,0.004857998,0.001844597,0.05537498],"category_scores_gemma":[0.01479882,0.002152831,0.002513525,0.001843756,0.001295512,0.004138572,0.006374772,0.004241533,0.03206795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008981649,"about_ca_system_score_gemma":0.002504178,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002150722,"about_ca_topic_score_gemma":0.002729387,"domain_scores_codex":[0.9963816,0.0007016432,0.0005653015,0.0007014705,0.001358716,0.0002912913],"domain_scores_gemma":[0.9922546,0.002459175,0.0003547934,0.003256574,0.001374417,0.0003005367],"domain_codex":null,"domain_gemma":"reproducibility","domain_candidate":"reproducibility","domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00114712,0.000510236,0.003265392,0.002538592,0.0003299325,0.0009675235,0.001652617,0.03111372,0.02450034,0.1599334,0.1777535,0.5962875],"study_design_scores_gemma":[0.0005366468,0.0001880133,0.001602307,0.0006607997,0.0001464341,0.001066929,0.0002900248,0.2706846,0.05443931,0.1381314,0.5319968,0.0002568034],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.000673286,0.00008689178,0.8999457,0.00006555577,0.00009410082,0.0001294368,0.001377761,0.094539,0.003088291],"genre_scores_gemma":[0.02037588,0.0003996799,0.9103548,0.0001366707,0.00008260873,0.001115047,0.00835598,0.0459394,0.01324001],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.9942785,"threshold_uncertainty_score":0.1852478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05606502149998729,"score_gpt":0.2987304465282904,"score_spread":0.2426654250283031,"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."}}