Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity.
Chee-Wei TanLin LingPublished in: CISS (2020)
Keyphrases
- convex optimization
- automated reasoning
- theorem prover
- theorem proving
- basis pursuit
- norm regularization
- dual formulation
- interior point methods
- first order logic
- convex optimization problems
- inference rules
- low rank
- probabilistic reasoning
- knowledge representation
- primal dual
- total variation
- norm minimization
- group lasso
- linear programming
- convex relaxation
- high dimensional
- sparse representation
- augmented lagrangian
- machine learning
- operator splitting
- convex programming
- dynamic programming