{"id":"W3044510823","doi":"10.1109/iccicc46617.2019.9146036","title":"RTPA-based Software Generation by AI Programming","year":2019,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Software engineering; Code generation; Software construction; Programming language; Software; Software development; Software framework; Software development process; Process (computing); Operating system","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.001061589,0.0003770633,0.0002819937,0.0004148601,0.0004159337,0.001167379,0.000950995,0.0005557024,0.005854474],"category_scores_gemma":[0.003755788,0.0002027167,0.0005190678,0.0003469728,0.001223823,0.002039758,0.0008833897,0.001200338,0.001154604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004055633,"about_ca_system_score_gemma":0.0006502415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000647083,"about_ca_topic_score_gemma":0.000389876,"domain_scores_codex":[0.9988647,0.000360859,0.00005751245,0.0002076922,0.0004284681,0.00008083175],"domain_scores_gemma":[0.99813,0.0008538364,0.0001228578,0.0005605441,0.0002662431,0.00006638181],"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.0001997818,0.0002042973,0.0007700391,0.000246144,0.00003493101,0.0003149589,0.0008420375,0.0585725,0.06849903,0.7065068,0.003118753,0.1606906],"study_design_scores_gemma":[0.00008319916,0.0001749117,0.0002598032,0.00003792129,0.00002725726,0.0003886014,0.0000773817,0.6495025,0.07690621,0.2419814,0.03052342,0.00003739512],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02207641,0.00008187956,0.9648112,0.0001691295,0.00006304677,0.00009637939,0.00005997199,0.003098031,0.009543991],"genre_scores_gemma":[0.4470249,0.0001840101,0.5447063,0.0001273381,0.00003608167,0.0002727422,0.0001895842,0.0006261278,0.006832893],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005854474,"threshold_uncertainty_score":0.01958519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01175784463853122,"score_gpt":0.2336114520926724,"score_spread":0.2218536074541411,"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."}}