2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 2 cited
Stronger Validity Criteria for Encoding Synchrony
Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1
We analyse two translations from the synchronous into the asynchronous -calculus, both without choice, that are often quoted as standard examples of valid encodings, showing tha…
cs.CV2024
Token Cropr: Faster ViTs for Quite a Few Tasks
Benjamin Bergner, Christoph Lippert, Aravindh Mahendran
The adoption of Vision Transformers (ViTs) in resource-constrained applications necessitates improvements in inference throughput. To this end several token pruning and merging app…