{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002720459,0.0008602844,0.0006616924,0.001051106,0.0007829914,0.002709577,0.001578248,0.001107497,0.008538173],"category_scores_gemma":[0.007101006,0.0006241071,0.002017805,0.001071897,0.002137119,0.00325146,0.001745234,0.002345345,0.001881094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001403625,"about_ca_system_score_gemma":0.002294323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002564376,"about_ca_topic_score_gemma":0.002145719,"domain_scores_codex":[0.9978212,0.0008025249,0.0001992167,0.0002959354,0.0007743447,0.0001067688],"domain_scores_gemma":[0.9966083,0.001893152,0.0002042825,0.0007603195,0.000446039,0.00008802898],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002356439,0.00004456693,0.0002188204,0.0001267171,0.00002304738,0.00004527519,0.0001070076,0.06472231,0.001682681,0.8884174,0.00321735,0.04137134],"study_design_scores_gemma":[0.00002425016,0.00002565708,0.00007721921,0.00005267414,0.0000244519,0.00005955832,0.00002538045,0.3408613,0.002085751,0.6184081,0.03833927,0.00001646818],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001193047,0.00007663582,0.9942738,0.0003474492,0.0000348925,0.00002924453,0.00008587096,0.0007654427,0.003193525],"genre_scores_gemma":[0.1071858,0.0004791493,0.8813811,0.0002677827,0.0001369124,0.0003001257,0.000425295,0.0007659342,0.009058004],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.008538173,"threshold_uncertainty_score":0.02856308,"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."}}