{"id":"W4402391449","doi":"10.1145/3643659.3648552","title":"AmbieGen at the SBFT 2024 Tool Competition - CPS-UAV Track","year":2024,"lang":"en","type":"article","venue":"","topic":"Robotics and Sensor-Based Localization","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Competition (biology); Track (disk drive); Operating system","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00007034252,0.00008749891,0.00006393975,0.00003435646,0.00005488992,0.0001015202,0.00005572293,0.00004524037,0.002101987],"category_scores_gemma":[0.000004520253,0.00006046167,0.00004922362,0.0001450364,0.0000177563,0.00006219355,0.00001310682,0.00008628313,0.001051499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006314978,"about_ca_system_score_gemma":0.00000645022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001508936,"about_ca_topic_score_gemma":0.00006975792,"domain_scores_codex":[0.9995124,0.00001175436,0.0001287507,0.0001085934,0.0001137616,0.000124725],"domain_scores_gemma":[0.9997669,0.00004477888,0.000004267277,0.000145267,0.00001400915,0.0000248211],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003179395,0.00001082913,0.00006074332,0.0001690609,0.00005148448,0.00001546053,0.0001876521,0.8064334,0.01055029,0.05510595,0.1229907,0.004421283],"study_design_scores_gemma":[0.0000614134,0.00001260696,0.0003043336,0.00003182084,0.00001727786,0.000006643496,0.00003366492,0.8655804,0.005728816,0.0004037473,0.1276956,0.0001236231],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2765693,0.003133946,0.4692969,0.003701124,0.005555998,0.0007210301,0.00006801319,0.002525586,0.238428],"genre_scores_gemma":[0.9812342,0.0001226754,0.0002474806,0.0001684474,0.0001920825,0.00000818416,0.00006390669,0.00003428704,0.01792876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7046648,"threshold_uncertainty_score":0.9997263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007880727775701365,"score_gpt":0.2012095642344679,"score_spread":0.1933288364587665,"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."}}