Type Synthesis, Type Checking, Local Inference, Elaboration
The Shape of an Intermediate Logic Class
consequently.org·18h
How to Make AI Write Less Like AI
kill-the-newsletter.com·1h
Synthesizing Standalone World-Models, Part 4: Metaphysical Justifications
alignmentforum.org·3d
Anchored Supervised Fine-Tuning
arxiv.org·12h
Hype or not? Formalizing Automatic Promotional Language Detection in Biomedical Research
arxiv.org·12h
Loading...Loading more...