Type Synthesis, Type Checking, Local Inference, Elaboration
The Shape of an Intermediate Logic Class
consequently.org·23h
Synthesizing Standalone World-Models, Part 4: Metaphysical Justifications
alignmentforum.org·4d
Why Does Your LLM Application Hallucinate?
pub.towardsai.net·1d
Ethical Design Patterns
lesswrong.com·9h
TokenSwap: Backdoor Attack on the Compositional Understanding of Large Vision-Language Models
arxiv.org·17h
Loading...Loading more...