Type Synthesis, Type Checking, Local Inference, Elaboration
The Shape of an Intermediate Logic Class
consequently.org·1d
I replaced my smart speakers with cheaper open-source alternatives, and I'll never go back
xda-developers.com·23m
Synthesizing Standalone World-Models, Part 4: Metaphysical Justifications
alignmentforum.org·4d
Why Does Your LLM Application Hallucinate?
pub.towardsai.net·1d
CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
arxiv.org·6h
Multi-Task Equation Discovery
arxiv.org·6h
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·6h
Machine Learning Detection of Lithium Plating in Lithium-ion Cells: A Gaussian Process Approach
arxiv.org·6h
Loading...Loading more...