{"id":"W4385301350","doi":"10.1109/sbft59156.2023.00011","title":"RIGAA at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Context (archaeology); Track (disk drive); Competition (biology); Reinforcement learning; Cyber-physical system; Artificial intelligence; Operating system; Geology; Ecology","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.01683021,0.003081907,0.001511928,0.003045733,0.00149426,0.004158506,0.004297449,0.004331998,0.025282],"category_scores_gemma":[0.02541335,0.0006747999,0.002115827,0.001612383,0.001277841,0.002899865,0.003669626,0.003655313,0.01532579],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001703534,"about_ca_system_score_gemma":0.004775685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008875038,"about_ca_topic_score_gemma":0.009474223,"domain_scores_codex":[0.9847739,0.004290528,0.0006064767,0.001851929,0.006321091,0.002156084],"domain_scores_gemma":[0.9746599,0.006484966,0.0006322475,0.003268927,0.009374266,0.005579591],"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.00263815,0.002527856,0.007990827,0.001381038,0.000489406,0.001302838,0.0007289653,0.03687271,0.02216538,0.0113886,0.5187774,0.3937368],"study_design_scores_gemma":[0.002249072,0.005332424,0.01410122,0.0004732558,0.0002094028,0.001987443,0.0007098445,0.2284809,0.06486097,0.01818423,0.6630588,0.000352299],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1763334,0.005874024,0.4263845,0.008411631,0.01338022,0.002814812,0.02604017,0.2398728,0.1008885],"genre_scores_gemma":[0.5010759,0.0008618112,0.2945835,0.001962005,0.0007923322,0.001064328,0.1148527,0.02293872,0.06186867],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.025282,"threshold_uncertainty_score":0.08900768,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02585882803850791,"score_gpt":0.2706075501039039,"score_spread":0.2447487220653959,"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."}}