Denis Federico Manuel Lim
B.S. Mechanical Engineering & M.S. Computer Science, USC·0 publications
About
I'm a researcher interested in mechanistic interpretability, model reasoning, and alignment. Currently researching semantic faithfulness in auto-formalization as part of the MARS fellowship. Previously I was an engineer at Scale AI and Two Sigma, and have a B.S. in Mechanical Engineering and M.S. in Computer Science at USC. Outside of work, I enjoy film music composition and football.