{"id":"W4411142825","doi":"10.1109/tro.2025.3578228","title":"SDPRLayers: Certifiable Backpropagation Through Polynomial Optimization Problems in Robotics","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Robotics","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","keywords":"Backpropagation; Artificial intelligence; Robotics; Computer science; Polynomial; Robot; Artificial neural network; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002778946,0.0002394588,0.0002499849,0.0004563887,0.0002807139,0.0002959163,0.0005669891,0.0001891401,0.00004332876],"category_scores_gemma":[0.00001429546,0.0002534752,0.00009067982,0.00182291,0.00007022407,0.001015338,0.000008690955,0.0004127064,0.00005253807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002614327,"about_ca_system_score_gemma":0.0002535293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008025181,"about_ca_topic_score_gemma":0.00008413976,"domain_scores_codex":[0.9979839,0.0001521293,0.0005495038,0.0005269772,0.0003415346,0.0004459702],"domain_scores_gemma":[0.998918,0.000120276,0.00009752379,0.0005895977,0.0001915893,0.00008299168],"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.00001137914,0.0003370331,0.00001993735,0.00004060365,0.00002082595,0.000001926275,0.0003068614,0.9919614,0.0001056673,0.004093314,0.0003776337,0.002723436],"study_design_scores_gemma":[0.000855537,0.00009850894,0.0000168906,0.0001173543,0.00001479393,0.000002635807,0.00003937797,0.995661,0.001803625,0.0009951515,0.0001571769,0.000237942],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002049333,0.00003161909,0.9907282,0.004384623,0.001177715,0.0006525661,0.000003950461,0.0002670369,0.002733782],"genre_scores_gemma":[0.1911542,0.0003087975,0.8040373,0.001125262,0.00003686253,0.00009952286,0.00001341509,0.0000366108,0.003187997],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1911337,"threshold_uncertainty_score":0.9999918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02816094368288331,"score_gpt":0.2699808535804,"score_spread":0.2418199098975167,"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."}}