{"id":"W4413267855","doi":"10.1145/3696630.3728599","title":"Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements","year":2025,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Completeness (order theory); Consistency (knowledge bases); Computer science; Programming language; Mathematics; Artificial intelligence","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.000346842,0.00008316303,0.0001157323,0.00007151343,0.0000790421,0.00007775584,0.0004431139,0.00003079707,0.000001380223],"category_scores_gemma":[0.00001588027,0.00006002946,0.00002424694,0.0001904661,0.00003159535,0.0001497986,0.0002401842,0.00005762599,4.471246e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003082615,"about_ca_system_score_gemma":0.00003345517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003257338,"about_ca_topic_score_gemma":0.00001212671,"domain_scores_codex":[0.9993588,0.00002372571,0.0001646179,0.0002147128,0.00008155614,0.0001566144],"domain_scores_gemma":[0.9994174,0.0001223497,0.00002108476,0.0003876443,0.00003843423,0.00001313234],"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.000003182463,0.00001452367,0.002533613,0.00004697082,0.000009838558,0.000001610788,0.0001483079,0.0001013639,0.0005093295,0.9489566,0.0004343532,0.04724031],"study_design_scores_gemma":[0.001208134,0.0001021125,0.01490873,0.0003593447,0.00001497117,0.000006693585,0.00002355999,0.7924794,0.00529137,0.06253714,0.12261,0.000458507],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008462578,0.0001437044,0.9895166,0.0008043777,0.0001046972,0.0004205559,0.000001124092,0.0002393915,0.0003069943],"genre_scores_gemma":[0.5107551,0.00001338873,0.488481,0.0004857772,0.000005564144,0.0001405298,6.392596e-7,0.000004464895,0.0001134935],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8864195,"threshold_uncertainty_score":0.244793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02539706032249549,"score_gpt":0.2828008828797063,"score_spread":0.2574038225572108,"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."}}