Singletons, Type-level Programming, GADTs, Kind Polymorphism
The Coursification Of Everyday Life
fernandogros.com·21h
A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
arxiv.org·3d
DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoning
arxiv.org·3d
SciArena: An Open Evaluation Platform for Foundation Models in Scientific Literature Tasks
arxiv.org·3d
Loading...Loading more...