Matthias Lanzinger
7 papers · 2020–2025 · 4 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 ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Gold
🗺️
Taxonomy Completionist
(14)
Top co-authors
Research topics
Machine Learning
(4)
Optimization & Theory
(4)
Knowledge & Reasoning
(3)
Artificial Intelligence
(2)
Computer Science
(2)
Deep Learning
(2)
Mathematics & Optimization
(2)
Architectures
(2)
Foundations
(2)
Mathematics
(2)
Reasoning
(2)
Bayesian & Probabilistic
(1)
Core AI
(1)
Optimization
(1)
Representation
(1)
Keywords
computational complexity
(2)
complexity analysis
(1)
expressive power
(1)
graph transformer
(1)
positional encoding
(1)
molecular property prediction
(1)
message passing neural network
(1)
constraint satisfaction problem
(1)
conjunctive query
(1)
inductive logic programming
(1)
existential rule
(1)
fixed-parameter tractability
(1)
hypertree width
(1)
structural encoding
(1)
complexity theory
(1)
graph homomorphism
(1)
weisfeiler-leman test
(1)
fuzzy logic
(1)
rule-based reasoning
(1)
graph neural network
(1)
Papers
Homomorphism Counts as Structural Encodings for Graph Learning
ICLR 2025
Homomorphism Counts for Graph Neural Networks: All About That Basis
ICML 2024
On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters
ICLR 2024
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
IJCAI 2023
Temporal Datalog with Existential Quantification
IJCAI 2023
On the Complexity of Inductively Learning Guarded Clauses
AAAI 2022
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
IJCAI 2020