activity
20232025
most citedComplexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.LO2025

Logical Approaches to Non-deterministic Polynomial Time over Semirings

Timon Barlag, Nicolas Fröhlich, Teemu Hankala +6

We provide a logical characterization of non-deterministic polynomial time defined by BSS machines over semirings via existential second-order logic interpreted in the semiring sem…

cs.LO2025

Logic and Computation through the Lens of Semirings

Timon Barlag, Nicolas Fröhlich, Teemu Hankala +6

We study the expressivity and computational aspects of first-order logic and its extensions in the semiring semantics developed by Grädel and Tannen. We characterize the complexity…