conftrace_

tensor expression

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

second-order derivative (1) symbolic computation (1) positive semidefinite (1) convex optimization (1)

Papers

Convexity Certificates for Symbolic Tensor Expressions IJCAI 2024