Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
I met a woman who'd built her dream life on a farm in Ecuador. It pushed me to rethink mine.
businessinsider.com·8h
ALLabel: Three-stage Active Learning for LLM-based Entity Recognition using Demonstration Retrieval
arxiv.org·5d
Loading...Loading more...