Mikkel Abrahamsen

activity

20162023

most citedIrrational Guards are Sometimes Needed

7 citations · 24 across the 10 of their papers we have counts for

collaborators

Showing 2021 · cs.CCShow all

2 papers · 2 filters

cs.CC2021

Geometric Embeddability of Complexes is $\exists R$ -complete

Mikkel Abrahamsen, Linda Kleist, Tillmann Miltzow

We show that the decision problem of determining whether a given (abstract simplicial) $k$ -complex has a geometric embedding in $R^{d}$ is complete for the Existential Theory…

cs.CC2021

Training Neural Networks is $\exists R$ -complete

Mikkel Abrahamsen, Linda Kleist, Tillmann Miltzow

Given a neural network, training data, and a threshold, it was known that it is NP-hard to find weights for the neural network such that the total error is below the threshold. We…

Geometric Embeddability of Complexes is ∃R-complete

Training Neural Networks is ∃R-complete

Geometric Embeddability of Complexes is $\exists R$ -complete

Training Neural Networks is $\exists R$ -complete