Type Synthesis, Type Checking, Local Inference, Elaboration
What's wrong with Georgia's defense? Identifying what's behind an uncharacteristic start
nytimes.com·4h
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·23h
LTA-L2S: Lexical Tone-Aware Lip-to-Speech Synthesis for Mandarin with Cross-Lingual Transfer Learning
arxiv.org·11h
SynthPert: Enhancing LLM Biological Reasoning via Synthetic Reasoning Traces for Cellular Perturbation Prediction
arxiv.org·11h
Loading...Loading more...