Joachim Giesen
27 papers · 2012–2026 · 8 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
π Conference Polyglot (8) π Interdisciplinary Bridge π§ Keyword Pioneer πΊοΈ Taxonomy Completionist (12) π Academic Marathon (13)
π
Academic Marathon
(13)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(8)
π
Keyword Champion
(4)
π§¬
Topic Evolution
π¬
Deep Specialist
(13)
ποΈ
Keyword Collector
(133)
π
Century Club
(26)
β‘
Prolific Year
(5)
π
Trend Setter
π₯
Unstoppable
(8)
π
Conference Pioneer
Conferences
AAAI (8)
IJCAI (7)
NIPS (5)
AISTATS (2)
ICML (2)
ALT (1)
PGM (1)
UAI (1)
Top co-authors
Keywords
convex optimization
(5)
automatic differentiation
(4)
symbolic regression
(3)
support vector machine
(3)
tensor network
(2)
kernel methods
(2)
constrained optimization
(2)
optimization algorithm
(2)
optimization framework
(2)
symbolic computation
(2)
high-dimensional setting
(2)
hyperparameter optimization
(2)
model counting
(2)
path tracking algorithm
(2)
positive semidefinite
(2)
matrix completion
(2)
regularization parameter
(2)
robust principal component analysis
(2)
dynamic routing
(1)
item response theory
(1)
Papers
Proof Systems for Tensor-based Model Counting
AAAI 2026
Discovering Symmetries of ODEs by Symbolic Regression
AAAI 2025
Dimension Reduction for Symbolic Regression
AAAI 2025
Convexity Certificates for Symbolic Tensor Expressions
IJCAI 2024
Serving MPE Queries on Tensor Networks by Computing Derivatives
PGM 2024
Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
NIPS 2024
Model Counting and Sampling via Semiring Extensions
AAAI 2024
Scaling Up Unbiased Search-based Symbolic Regression
IJCAI 2024
Why Capsule Neural Networks Do Not Scale: Challenging the Dynamic Parse-Tree Assumption
AAAI 2023
Leveraging the Wikipedia Graph for Evaluating Word Embeddings
IJCAI 2022
Convexity Certificates from Hessians
NIPS 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
Using Bensonβs Algorithm for Regularization Parameter Tracking
AAAI 2019
Ising Models with Latent Conditional Gaussian Variables
ALT 2019
Efficient Regularization Parameter Selection for Latent Variable Graphical Models via Bi-Level Optimization
IJCAI 2019
Combining ADMM and the Augmented Lagrangian Method for Efficiently Handling Many Constraints
IJCAI 2019
GENO -- GENeric Optimization for Classical Machine Learning
NIPS 2019
Computing Higher Order Derivatives of Matrix and Tensor Expressions
NIPS 2018
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains
ICML 2015
Sketching the Support of a Probability Measure
AISTATS 2014
Robust and Efficient Kernel Hyperparameter Paths with Guarantees
ICML 2014
Approximating Concavely Parameterized Optimization Problems
NIPS 2012
Regularization Paths with Guarantees for Convex Semidefinite Optimization
AISTATS 2012