Dependent Haskell, GADTs, Type Families, Kind System
derived set
ncatlab.org·7h
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
Sheaf Hypergraph Networks
arxiv.org·2d
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
Loading...Loading more...