{"id":"W4221163787","doi":"10.1109/icra46639.2022.9811675","title":"Symbolic State Estimation with Predicates for Contact-Rich Manipulation Tasks","year":2022,"lang":"en","type":"article","venue":"2022 International Conference on Robotics and Automation (ICRA)","topic":"Robot Manipulation and Learning","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Robot; Heuristics; Artificial intelligence; Symbolic execution; Robustness (evolution); Machine learning; State (computer science); Algorithm; Programming language","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.0001693698,0.0001515731,0.0001367881,0.0002150873,0.0002504055,0.0001514362,0.0001323658,0.00003259392,0.0004196307],"category_scores_gemma":[0.00002578551,0.0001570254,0.00002784087,0.0001282535,0.00001575798,0.0002070749,0.00003614253,0.0001855891,0.000011349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001221523,"about_ca_system_score_gemma":0.00003133914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006575358,"about_ca_topic_score_gemma":0.000006025044,"domain_scores_codex":[0.9989629,0.00003545046,0.0002686041,0.0002079733,0.0003755539,0.0001494753],"domain_scores_gemma":[0.9995291,0.00006483462,0.0001227212,0.0001057587,0.0001260362,0.00005157712],"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.00002819981,0.00002460261,0.0006742434,0.00002609545,0.00004682035,0.000001151622,0.0002874794,0.9401079,0.0007237296,0.05349368,0.0004025378,0.004183588],"study_design_scores_gemma":[0.0005839777,0.0001429445,0.01613623,0.00002605962,0.00001629304,0.000009037637,0.0001689218,0.9802073,0.0001411141,0.001833834,0.0005508173,0.0001834465],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1068612,0.00004673473,0.8831427,0.002456684,0.0009200693,0.0008216027,0.00006091137,0.0006110498,0.005079038],"genre_scores_gemma":[0.9944439,0.00002256055,0.003892553,0.0001175427,0.00003848571,0.0001567376,0.0006652643,0.00002968899,0.0006332605],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8875827,"threshold_uncertainty_score":0.6403309,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02824140702717663,"score_gpt":0.2577771266302835,"score_spread":0.2295357196031068,"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."}}