research
∙
05/16/2023
The Hardness of Reasoning about Probabilities and Causality
We study formal languages which are capable of fully expressing quantita...
share
research
∙
03/03/2022
Identification in Tree-shaped Linear Structural Causal Models
Linear structural equation models represent direct causal effects as dir...
research
∙
03/10/2020
Algebraic Branching Programs, Border Complexity, and Tangent Spaces
Nisan showed in 1991 that the width of a smallest noncommutative single-...
research
∙
02/26/2020
On the complexity of evaluating highest weight vectors
Geometric complexity theory (GCT) is an approach towards separating alge...
research
∙
11/06/2019
Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory
We study the variety membership testing problem in the case when the var...
research
∙
09/24/2018