Type Synthesis, Type Checking, Local Inference, Elaboration
What's wrong with Georgia's defense? Identifying what's behind an uncharacteristic start
nytimes.com·1h
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·21h
Learning to See Before Seeing: Demystifying LLM Visual Priors from Language Pre-training
arxiv.org·8h
Machine Learning Detection of Lithium Plating in Lithium-ion Cells: A Gaussian Process Approach
arxiv.org·8h
LTA-L2S: Lexical Tone-Aware Lip-to-Speech Synthesis for Mandarin with Cross-Lingual Transfer Learning
arxiv.org·8h
Loading...Loading more...