Type Synthesis, Type Checking, Local Inference, Elaboration
Ontological Engineering
joodaloop.com·2d
Issue 491
haskellweekly.news·6d
Profit over Proxies: A Scalable Bayesian Decision Framework for Optimizing Multi-Variant Online Experiments
arxiv.org·1d
Text-Based Approaches to Item Alignment to Content Standards in Large-Scale Reading & Writing Tests
arxiv.org·21h
Can Molecular Foundation Models Know What They Don't Know? A Simple Remedy with Preference Optimization
arxiv.org·21h
4 LLM Compression Techniques to Make Models Smaller and Faster
analyticsvidhya.com·3d
Loading...Loading more...