Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Hao Wu Qiuye Wang Bai Xue Naijun Zhan Lihong Zhi Zhi-Hong Yang

Published in: CoRR (2023)

Keyphrases

semidefinite programming
positive semidefinite
symmetric matrix
linear programming
interior point methods
semidefinite
kernel matrix
primal dual
maximum margin
model selection
metric learning
machine learning
linear program
distance function
upper bound
feature vectors
high dimensional
learning algorithm