{"id":"W3120978148","doi":"10.14288/1.0395518","title":"Automated human-in-the-loop assertion generation","year":2021,"lang":"en","type":"article","venue":"cIRcle (University of British Columbia)","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Assertion; Computer science; Loop (graph theory); Human-in-the-loop; Artificial intelligence; Mathematics; Programming language; Combinatorics","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.007711722,0.001184945,0.0007529308,0.001941123,0.0005318213,0.001500467,0.002386556,0.0007995177,0.004832911],"category_scores_gemma":[0.04409603,0.0007640863,0.001129363,0.0005733196,0.001247608,0.001804815,0.001729206,0.00116825,0.002364325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007681663,"about_ca_system_score_gemma":0.002363967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002153642,"about_ca_topic_score_gemma":0.002274328,"domain_scores_codex":[0.9932295,0.002155518,0.0003391912,0.001297754,0.002524686,0.0004533466],"domain_scores_gemma":[0.9651878,0.02294844,0.002074644,0.004540118,0.004860925,0.0003880101],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006382804,0.0008059599,0.02727502,0.001298173,0.0002022888,0.001670614,0.002844066,0.1073833,0.07588317,0.02826097,0.02507096,0.7286671],"study_design_scores_gemma":[0.0002558731,0.0006495212,0.005955788,0.0003335964,0.0001245696,0.0009938759,0.0005682328,0.789412,0.1404657,0.02501949,0.03608524,0.0001362167],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.064257,0.0001833953,0.9004126,0.0002509826,0.0001000526,0.0008738444,0.0009365763,0.02915359,0.003831854],"genre_scores_gemma":[0.3095737,0.0001673102,0.6814555,0.0001962194,0.00003894884,0.0005752086,0.002882756,0.002469954,0.002640438],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007711722,"threshold_uncertainty_score":0.040784,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01097048774507136,"score_gpt":0.1870061632544075,"score_spread":0.1760356755093361,"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."}}