Type Synthesis, Type Checking, Local Inference, Elaboration
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·15h
Multi-Task Equation Discovery
arxiv.org·2h
GeLoc3r: Enhancing Relative Camera Pose Regression with Geometric Consistency Regularization
arxiv.org·1d
Learning to See Before Seeing: Demystifying LLM Visual Priors from Language Pre-training
arxiv.org·2h
Machine Learning Detection of Lithium Plating in Lithium-ion Cells: A Gaussian Process Approach
arxiv.org·2h
LTA-L2S: Lexical Tone-Aware Lip-to-Speech Synthesis for Mandarin with Cross-Lingual Transfer Learning
arxiv.org·2h
Loading...Loading more...