{"id":"W4393742370","doi":"10.5281/zenodo.2538118","title":"Supplementary Material: Comparing Formal Tools for System Design: a Case Study in the Railway Domain","year":2019,"lang":"en","type":"dataset","venue":"Figshare","topic":"Systems Engineering Methodologies and Applications","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"European Commission","keywords":"Domain (mathematical analysis); Computer science; Software engineering; Engineering; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006142342,0.0003424095,0.000510113,0.0001179381,0.00009221571,0.0002480557,0.0006508507,0.0001728754,0.00272539],"category_scores_gemma":[0.0001079723,0.000273903,0.00008944704,0.0001473156,0.000002169756,0.0001150848,0.0001291056,0.000247543,0.00009180309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001577105,"about_ca_system_score_gemma":0.00002078385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001594939,"about_ca_topic_score_gemma":0.0001826765,"domain_scores_codex":[0.9985018,0.0001594334,0.0004916279,0.0002666625,0.0001579189,0.0004225059],"domain_scores_gemma":[0.9979255,0.001148042,0.00008894413,0.0007833316,0.00002466762,0.00002953463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006566117,0.00002044908,6.830879e-7,0.002919583,0.00005403514,0.0002176321,0.0001550753,0.01715218,0.0000034614,0.000001368713,0.9793904,0.0000785676],"study_design_scores_gemma":[0.0005628453,0.00008094035,0.00001245921,0.001029061,0.00004642917,0.0006177939,0.005800868,0.003437452,0.00002293409,9.69193e-7,0.9880183,0.0003698903],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0003926877,0.00004900135,0.0006955099,0.000003565703,0.0003848355,0.005246019,0.9930999,0.0001201517,0.000008272486],"genre_scores_gemma":[0.007527406,0.000001068875,0.001130989,0.00001035582,0.000310022,0.01062809,0.9803387,0.000051319,0.00000207904],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.01371473,"threshold_uncertainty_score":0.9999713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2160695004157089,"score_gpt":0.3342809592751417,"score_spread":0.1182114588594327,"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."}}