{"id":"W2978412295","doi":"","title":"A formal modeling and optimization software","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Software engineering; Formal methods; Software; Programming language","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.01022512,0.0003057584,0.0003844691,0.000366909,0.0006673271,0.001136978,0.001470346,0.0003676279,0.0003866577],"category_scores_gemma":[0.005671505,0.0002906461,0.0001786206,0.0005927897,0.000245108,0.0003951501,0.002251026,0.0004354594,0.00005391871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007462028,"about_ca_system_score_gemma":0.0002042251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002839922,"about_ca_topic_score_gemma":0.0001852061,"domain_scores_codex":[0.9947089,0.002036673,0.0009414858,0.001061228,0.0009199731,0.0003317345],"domain_scores_gemma":[0.989696,0.002041937,0.0006356258,0.002444576,0.004975189,0.0002066459],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004799688,0.000810035,0.0050245,0.000156896,0.0001243062,0.000003407298,0.01565205,0.362439,0.0002345629,0.1524391,0.008582765,0.4544854],"study_design_scores_gemma":[0.0002060461,2.985904e-7,0.000199884,0.0003054682,0.00002100511,0.000004911154,0.00008732998,0.9329188,0.001115214,0.06093416,0.003912976,0.0002938366],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03340226,0.00030386,0.9502072,0.003973247,0.0001048618,0.0005177395,0.00006746044,0.0003709192,0.01105243],"genre_scores_gemma":[0.5253419,0.0002146884,0.4706361,0.0001225946,0.00003993306,0.0001045821,0.0002268135,0.00003800032,0.003275389],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5704799,"threshold_uncertainty_score":0.9999546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05451069697871045,"score_gpt":0.3177970322142313,"score_spread":0.2632863352355208,"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."}}