Singletons, Type-level Programming, GADTs, Kind Polymorphism
A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
arxiv.orgยท3d
The Number of Trials Matters in Infinite-Horizon General-Utility Markov Decision Processes
arxiv.orgยท3d
DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoning
arxiv.orgยท3d
MedLeak: Multimodal Medical Data Leakage in Secure Federated Learning with Crafted Models
arxiv.orgยท4d
HelixPipe: Efficient Distributed Training of Long Sequence Transformers with Attention Parallel Pipeline Parallelism
arxiv.orgยท3d
Loading...Loading more...