{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002930742,0.001551684,0.001132783,0.0007430356,0.0004925627,0.001636218,0.002570787,0.002383025,0.005220359],"category_scores_gemma":[0.006640669,0.0008262808,0.0009784685,0.0007929792,0.002163928,0.003054834,0.003422026,0.005108613,0.002004121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001346892,"about_ca_system_score_gemma":0.002541966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003735436,"about_ca_topic_score_gemma":0.004157112,"domain_scores_codex":[0.9990439,0.0003268293,0.00005820605,0.0001626934,0.000319927,0.00008848369],"domain_scores_gemma":[0.9983606,0.0009594063,0.0001304929,0.0002478274,0.0002177897,0.00008394074],"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.00009257276,0.00007957032,0.0002781338,0.0003171692,0.00006541644,0.00009749214,0.0001249841,0.5984408,0.002527926,0.2241804,0.01397783,0.1598176],"study_design_scores_gemma":[0.00001561087,0.00002459236,0.00002460271,0.00002388085,0.000005354906,0.00002485746,0.000007854684,0.9302108,0.001629508,0.06171925,0.006303966,0.00000975127],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001286487,0.000333388,0.9949868,0.0003498322,0.00006015167,0.00002434019,0.00003156299,0.0007497911,0.002177687],"genre_scores_gemma":[0.10417,0.001230305,0.8831359,0.0006264589,0.0001946785,0.0002000275,0.0002366876,0.0008706384,0.009335249],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005220359,"threshold_uncertainty_score":0.0174638,"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."}}