{"id":"W4407039025","doi":"10.1145/3709600","title":"Introduction to the Special Collection from FM 2023","year":2025,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Formal methods; Computer science; Software engineering; Software; Software development; Theory of computation; Library science; Engineering management; Programming language; Engineering","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.003321605,0.002050506,0.001556813,0.006285451,0.002402735,0.006449884,0.002141875,0.002722558,0.1919962],"category_scores_gemma":[0.01289093,0.0006450797,0.001396901,0.004863657,0.001091828,0.005671374,0.004232446,0.00400093,0.1347852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002705255,"about_ca_system_score_gemma":0.002654319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003437089,"about_ca_topic_score_gemma":0.005865519,"domain_scores_codex":[0.996563,0.0006013191,0.0003707432,0.0005112667,0.001638071,0.0003155502],"domain_scores_gemma":[0.9925015,0.001738921,0.0004785809,0.0007163121,0.003311543,0.001253118],"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.00002086031,0.000009044147,0.00003231482,0.000106785,0.000002017512,0.00002511602,0.00002228201,0.00002451442,0.0001605785,0.001686809,0.969533,0.02837661],"study_design_scores_gemma":[0.000002403029,0.00001113116,0.0001265108,0.00008138773,0.00000142068,0.0000629948,0.00001269292,0.00002554916,0.00005076345,0.0006505788,0.99897,0.000004584436],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.001339302,0.03669828,0.02036832,0.06232212,0.5287586,0.0006476443,0.00871556,0.004023468,0.3371267],"genre_scores_gemma":[0.006179887,0.02274521,0.01028667,0.02947046,0.2487094,0.000817757,0.0174439,0.004856882,0.6594899],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1919962,"threshold_uncertainty_score":0.6422914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005478286413966933,"score_gpt":0.2216619269802611,"score_spread":0.2161836405662941,"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."}}