Denis Federico Manuel Lim

プロフィール

メカニスティック解釈可能性、モデルの推論、アラインメントに関心を持つ研究者です。現在はMARSフェローシップで、自動形式化の際に元の意味を忠実に保つ方法を研究しています。以前はScale AIとTwo Sigmaでエンジニアを務めました。南カリフォルニア大学で機械工学の学士号とコンピュータサイエンスの修士号を取得しています。仕事以外では、映画音楽の作曲とサッカーを楽しんでいます。

主な研究成果

研究成果は順次掲載します。