Joachim Giesen
27 papers · 2012–2026 · 8 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
๐บ๏ธ Taxonomy Completionist (47) ๐ Academic Marathon ยท Half ๐ Conference Polyglot ยท Silver ๐ Interdisciplinary Bridge ยท Silver ๐ฃ Hot Topic Early Bird
๐ฌ
Deep Specialist
(13)
๐งฌ
Topic Evolution
๐
Keyword Champion
(4)
๐
Conference Pioneer
๐
Trend Setter
๐๏ธ
Keyword Collector
(135)
โก
Prolific Year ยท Productive
๐ฅ
Unstoppable ยท Bronze
๐
Renaissance Researcher
(6)
๐
Century Club ยท Bronze
Top co-authors
Research topics
Machine Learning
(25)
Optimization & Theory
(18)
Mathematics & Optimization
(17)
Optimization
(14)
Core Methods
(9)
Artificial Intelligence
(6)
Computer Science
(6)
Foundations
(5)
Mathematics
(5)
Core AI
(4)
Deep Learning
(3)
Learning Types
(3)
Data Science & Analytics
(2)
Application Areas
(2)
Bayesian & Probabilistic
(2)
Keywords
convex optimization
(5)
automatic differentiation
(4)
support vector machine
(3)
symbolic regression
(3)
tensor network
(3)
semidefinite program
(2)
optimization framework
(2)
model counting
(2)
graphical model
(2)
constrained optimization
(2)
optimization algorithm
(2)
hyperparameter optimization
(2)
high-dimensional setting
(2)
robust principal component analysis
(2)
semidefinite programming
(2)
matrix completion
(2)
positive semidefinite
(2)
regularization parameter
(2)
symbolic computation
(2)
path tracking algorithm
(2)
Papers
Proof Systems for Tensor-based Model Counting
AAAI 2026
Dimension Reduction for Symbolic Regression
AAAI 2025
Discovering Symmetries of ODEs by Symbolic Regression
AAAI 2025
Convexity Certificates for Symbolic Tensor Expressions
IJCAI 2024
Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
NeurIPS 2024
Model Counting and Sampling via Semiring Extensions
AAAI 2024
Scaling Up Unbiased Search-based Symbolic Regression
IJCAI 2024
Serving MPE Queries on Tensor Networks by Computing Derivatives
PGM 2024
Why Capsule Neural Networks Do Not Scale: Challenging the Dynamic Parse-Tree Assumption
AAAI 2023
Convexity Certificates from Hessians
NeurIPS 2022
Leveraging the Wikipedia Graph for Evaluating Word Embeddings
IJCAI 2022
Optimization for Classical Machine Learning Problems on the GPU
AAAI 2022
Method of Moments for Topic Models with Mixed Discrete and Continuous Features
IJCAI 2021
Robust principal component analysis for generalized multi-view models
UAI 2021
A Simple and Efficient Tensor Calculus
AAAI 2020
Disentangling Direct and Indirect Interactions in Polytomous Item Response Theory Models
IJCAI 2020
Combining ADMM and the Augmented Lagrangian Method for Efficiently Handling Many Constraints
IJCAI 2019
Efficient Regularization Parameter Selection for Latent Variable Graphical Models via Bi-Level Optimization
IJCAI 2019
GENO -- GENeric Optimization for Classical Machine Learning
NeurIPS 2019
Ising Models with Latent Conditional Gaussian Variables
ALT 2019
Using Bensonโs Algorithm for Regularization Parameter Tracking
AAAI 2019
Computing Higher Order Derivatives of Matrix and Tensor Expressions
NeurIPS 2018
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains
ICML 2015
Robust and Efficient Kernel Hyperparameter Paths with Guarantees
ICML 2014
Sketching the Support of a Probability Measure
AISTATS 2014
Approximating Concavely Parameterized Optimization Problems
NeurIPS 2012
Regularization Paths with Guarantees for Convex Semidefinite Optimization
AISTATS 2012