{"id":"W2275767068","doi":"10.1145/2833258.2833285","title":"Stateflow to Tabular Expressions","year":2015,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Stateflow; Completeness (order theory); Expression (computer science); Computer science; Programming language; Semantics (computer science); Theoretical computer science; Algorithm; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0003994459,0.00004624862,0.00004813962,0.00004966246,0.00003181756,0.00005939129,0.0005690796,0.00001973943,0.00001849214],"category_scores_gemma":[0.0001750306,0.00003702681,0.00001153522,0.0002533908,0.000007961794,0.0003870115,0.0002081048,0.00003784931,0.0005557846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002475703,"about_ca_system_score_gemma":0.0000395621,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001467497,"about_ca_topic_score_gemma":0.000001266885,"domain_scores_codex":[0.9993826,0.000050608,0.00009229915,0.0001608335,0.0001831937,0.0001304252],"domain_scores_gemma":[0.9991777,0.00001520687,0.00001701057,0.0005140154,0.0000760246,0.0002000746],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000081693,0.00007279457,0.0002564499,0.000003843615,0.000004943866,0.000006451624,0.003515176,0.001669729,0.0102908,0.7959338,0.08354694,0.1046909],"study_design_scores_gemma":[0.000451255,0.0002961244,0.001842217,0.00002061449,0.000002754244,0.00001042949,0.0003639006,0.1841218,0.1547383,0.03035366,0.6273277,0.0004712801],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004847054,0.00001012767,0.9739004,0.0006575933,0.0003793071,0.00008304908,3.735221e-7,0.0001855132,0.01993663],"genre_scores_gemma":[0.03820782,6.003154e-7,0.9598591,0.0005749489,0.00002316162,0.00001525464,3.719509e-7,0.000003004057,0.001315738],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7655802,"threshold_uncertainty_score":0.7143672,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1008903332929466,"score_gpt":0.3473226410801108,"score_spread":0.2464323077871642,"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."}}