Derek Lim

@dereklim_lzh

Post-Training @OpenAI, ML PhD from @MIT

San Francisco

cptq.github.io

Joined June 2020

1,700 Following

3,943 Followers

Replies Reposts Media

Pinned
Derek Lim
@dereklim_lzh
Apr 26, 2022
Our new paper covers: Neural nets on eigenvectors / eigenspaces, transformers on graphs, universal approximation of invariant functions, graph positional encodings, generalizing spectral graph neural networks, and more!! Thread about SignNet and BasisNet: 1/9
5
Derek Lim
@dereklim_lzh
Jan 12
Looks like we are already in the LLM-accelerated papers era. you can now make a full ML research paper with experiments, open source code, and theorems + (faulty) proofs in 5 days, plausibly with heavy LLM assistance. I just found one of these in my former phd research area 1/n
3
Derek Lim
@dereklim_lzh
Jan 7
@lufthansa @Lufthansa_USA 9 days later, my checked bag (with an AirTag in it!) is still stuck at Frankfurt. It missed my Salzburg flight on Dec 29, then missed another flight, and I’m now back in the U.S. with no info despite my online claim and calls. Could I get some help?
11
Derek Lim
@dereklim_lzh
Oct 30, 2025
another tale of RL IRL: 2 = off-policy pretrain / sft maxxer 3 = on-policy RL maxxer
Soho Hank
@elusivecurrent
Oct 29, 2025
In freshman calc, the 3 highest grades going into the final were exempt Last day of class prof announced the names to the class. I was obviously 1, 2nd was a girl who never raised her hand, 3rd was a guy who constantly raised his hand and got many wrong. I think ab him a lot
Quote
Kyle Allen
@KyleAllen2024
Oct 28, 2025
Kid in my accounting class raises his hand 3+ times a class to answer and gets it wrong every time. When do you give it up
1
Derek Lim
@dereklim_lzh
Oct 1, 2025

Derek Lim

Derek Lim’s posts