Verification, Type-level Programming, Safety Proofs, Linear Types
Introducing ERNIE 4.5-21B-A3B-Base
digitalocean.com·2d
Old Familiar Sting by Sholio
archiveofourown.org·8h
Wasserstein GAN-Based Precipitation Downscaling with Optimal Transport for Enhancing Perceptual Realism
arxiv.org·9h
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·2d
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·2d
Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions
arxiv.org·3d
Loading...Loading more...