activity
20202026
most citedBenchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control with Action Constraints

24 citations · 43 across the 14 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

Compactness in Constructive Mathematics via Affine Logic

Kazumi Kasaura

We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introd…