Jesse Michael Han (@jessemhan) 's Twitter Profile
Jesse Michael Han

@jessemhan

@morph_labs //

prev. research @OpenAI / PhD in math and neural theorem proving

ID: 1287092413194878976

linkhttp://jesse-michael-han.github.io calendar_today25-07-2020 18:29:08

342 Tweet

2,2K Takipçi

504 Takip Edilen

Jesse Michael Han (@jessemhan) 's Twitter Profile Photo
Jesse Michael Han
@jessemhan

a month ago

first Qwen, now DeepSeek - Chinese AI labs feeling the autoformalization, putting their heads down, and doing the work (h/t the very well-informed LDJ for screencaps)

first Qwen, now DeepSeek - Chinese AI labs feeling the autoformalization, putting their heads down, and doing the work (h/t the very well-informed <a href="/ldjconfirmed/">LDJ</a> for screencaps)