Login / Signup
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