Type Synthesis, Type Checking, Local Inference, Elaboration
Working at ABI boundaries
rkrishnan.orgยท2d
Anchored Supervised Fine-Tuning
arxiv.orgยท8h
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.comยท18h
Hype or not? Formalizing Automatic Promotional Language Detection in Biomedical Research
arxiv.orgยท8h
Making sense of parameter-space decomposition
lesswrong.comยท2d
Fine-tuning Done Right in Model Editing
arxiv.orgยท1d
Loading...Loading more...