Godai Azuma

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying robustness of neural networks with tight semidefinite relaxations Computational Optimization and Applications	2026-05-11	Paper
Tight Conic Relaxations for Rank-one Doubly Nonnegative Matrix Completion (available as arXiv preprint)	2026-01-01	Paper
Order-2 Tightness of Block-Sparse SOS Relaxations for One-Layer ReLU Network Verification with a Matching Input-Sharing Graph (available as arXiv preprint)	2026-01-01	Paper
Rank-one matrix completion via high-rank matrices in sum-of-squares relaxations Journal of Global Optimization	2025-06-27	Paper
Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks (available as arXiv preprint)	2025-01-01	Paper
Exact Matrix Completion via High-Rank Matrices in Sum-of-Squares Relaxations	2023-11-24	Paper
Exact SDP relaxations for quadratic programs with bipartite graph structures Journal of Global Optimization	2023-07-13	Paper
Exact SDP relaxations of quadratically constrained quadratic programs with forest structures Journal of Global Optimization	2022-03-15	Paper

Research outcomes over time

This page was built for person: Godai Azuma