{"id":"https://openalex.org/W7134279238","doi":"https://doi.org/10.48550/arxiv.2603.05604","title":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","display_name":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","publication_year":2026,"publication_date":"2026-03-05","ids":{"openalex":"https://openalex.org/W7134279238","doi":"https://doi.org/10.48550/arxiv.2603.05604"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.05604","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.05604","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.05604","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009405571","display_name":"Xusheng Luo","orcid":"https://orcid.org/0000-0003-4342-7234"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luo, Xusheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128589582","display_name":"Changliu Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Changliu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.5834000110626221,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.5834000110626221,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.05900000035762787,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.05570000037550926,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.8148999810218811},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.5281999707221985},{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.5217999815940857},{"id":"https://openalex.org/keywords/joint","display_name":"Joint (building)","score":0.4438999891281128},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.37540000677108765},{"id":"https://openalex.org/keywords/object-detection","display_name":"Object detection","score":0.31619998812675476}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8148999810218811},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6610000133514404},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.5281999707221985},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.5217999815940857},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48350000381469727},{"id":"https://openalex.org/C18555067","wikidata":"https://www.wikidata.org/wiki/Q8375051","display_name":"Joint (building)","level":2,"score":0.4438999891281128},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41100001335144043},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C2776151529","wikidata":"https://www.wikidata.org/wiki/Q3045304","display_name":"Object detection","level":3,"score":0.31619998812675476},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3100999891757965},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.27399998903274536},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2676999866962433},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.25609999895095825}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.05604","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.05604","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.05604","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.05604","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Keypoint":[0],"detection":[1,139],"underpins":[2],"many":[3],"vision":[4],"tasks,":[5],"including":[6],"pose":[7],"estimation,":[8],"viewpoint":[9],"recovery,":[10],"and":[11,40,67,81,122,156],"3D":[12],"reconstruction,":[13],"yet":[14],"modern":[15],"neural":[16],"models":[17],"remain":[18],"vulnerable":[19],"to":[20,37,143],"small":[21],"input":[22],"perturbations.":[23],"Despite":[24],"its":[25],"importance,":[26],"formal":[27],"robustness":[28,49],"verification":[29,50,92],"for":[30,52],"keypoint":[31,54,79,138],"detectors":[32,55],"is":[33,127,141],"largely":[34],"unexplored":[35],"due":[36],"high-dimensional":[38],"inputs":[39],"continuous":[41],"coordinate":[42],"outputs.":[43],"We":[44,90],"propose":[45],"the":[46,58,125,132,137],"first":[47],"coupled":[48,150],"framework":[51],"heatmap-based":[53],"that":[56,76,103,148],"bounds":[57],"joint":[59,112],"deviation":[60,113],"across":[61],"all":[62],"keypoints,":[63],"capturing":[64],"their":[65],"interdependencies":[66],"downstream":[68],"task":[69],"requirements.":[70],"Unlike":[71],"prior":[72],"decoupled,":[73],"classification-style":[74],"approaches":[75],"verify":[77],"each":[78],"independently":[80],"yield":[82],"conservative":[83],"guarantees,":[84],"our":[85,149],"method":[86,126],"verifies":[87],"collective":[88],"behavior.":[89],"formulate":[91],"as":[93,134],"a":[94,98,109],"falsification":[95],"problem":[96],"using":[97],"mixed-integer":[99],"linear":[100],"program":[101],"(MILP)":[102],"combines":[104],"reachable":[105],"heatmap":[106],"sets":[107],"with":[108],"polytope":[110],"encoding":[111],"constraints.":[114],"Infeasibility":[115],"certifies":[116,131],"robustness,":[117],"while":[118],"feasibility":[119],"provides":[120],"counterexamples,":[121],"we":[123],"prove":[124],"sound:":[128],"if":[129],"it":[130],"model":[133,140],"robust,":[135],"then":[136],"guaranteed":[142],"be":[144],"robust.":[145],"Experiments":[146],"show":[147],"approach":[151],"achieves":[152],"high":[153],"verified":[154],"rates":[155],"remains":[157],"effective":[158],"under":[159],"strict":[160],"error":[161],"thresholds":[162],"where":[163],"decoupled":[164],"methods":[165],"fail.":[166]},"counts_by_year":[],"updated_date":"2026-08-16T07:02:28.622633","created_date":"2026-03-10T00:00:00"}