
Huajian Xin
@huajian_xin
Ph.D. Student @InfAtEd on LLMs for theorem proving
| Student Researcher @BytedanceTalk Doubao/Seed
| Ex. @deepseek_ai
| Recent: DeepSeek-Prover, LEGO-Prover
ID: 1565340438009036802
https://xinhuajian.wordpress.com/ 01-09-2022 14:07:11
47 Tweet
1,1K Followers
317 Following

宝玉
@dotey
Prompt Engineer, dedicated to learning and disseminating knowledge about AI, software engineering, and engineering management.
Thang Luong
@lmthang
Lead Superhuman Reasoning team @GoogleDeepMind. AI IMO silver. PI #AlphaGeometry. Co-led #Bard (now Gemini) Multimodality. Co-founded #MeenaBot (later LaMDA).
Microsoft
@microsoft
We're on a mission to empower every person and every organization on the planet to achieve more. Support: @MicrosoftHelps
Joint Mathematics Meetings
@jointmath
Bring your research and curiosity and join thousands of people and seventeen partner organizations at the largest mathematics gathering in the world.
Alexander Doria
@dorialexander
LLM for the commons. Small reasoning models. Co-founder @pleiasfr
Xin Eric Wang @ ICLR 2025
@xwang_lk
Head of Research @SimularAI. Professor @UCSC → @ucsantabarbara. #Multimodal #Embodied #Agents. AI for Humanity in the long run. 🦋 ericxw.bsky.social
Huan Sun (OSU)
@hhsun1
Associate Professor (with Tenure) in CSE, endowed CoE Innovation Scholar, CoP Co-Director @OSUbigdata, The Ohio State University (NLP and Data Mining)
Jindong Wang
@jd92wang
Assistant professor @williamandmary Data Science, Ex Senior Researcher at @MSFTResearch. Machine learning, large language models, AI for social sciences.
Haibin
@eric_haibin_lin
Bytedance Seed LLM Systems, @verl_project, author of Megascale. Prev. Amazon AI, ex-committer for BytePS, Gluon-NLP, @ApacheMXNet
Xuejing, aka Snow
@hxjxsnow
Postdoc @IRIF_Paris #MyElixirStatus / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 Married / ADHD is my super ability / INS @hxjxsnow
Michael Truell
@mntruell
@cursor_ai
You Jiacheng
@youjiacheng
关注TileLang喵!关注TileLang谢谢喵! github.com/tile-ai/tilela… 十年老粉 disclaimer: I'm NOT a member of tile-ai
Fermat's Library
@fermatslibrary
A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: fermatslibrary.com/margins
Shangmin Guo
@shangminguo
PhD student at the University of Edinburgh, curious about how humans and AI co-exist and co-evolve. Previously at Cohere and Google DeepMind.
leloy!
@leloykun
Math @ AdMU • NanoGPT speedrunner • Muon fan 🤍 • soon RE @ ███ • prev ML @ XPD • 2x IOI & 2x ICPC • admonymous.co/leloy
Ruiyuan Huang
@ruiyuanhuang
PhD candidate in the School of Data Science at Fudan University, interested in bandits, online learning, and optimization.
Runxin Xu
@pigjunebaba
AI researcher @deepseek_ai | @PKU1898 | @SJTU1896 Opinions are my own.
Cong Lu
@cong_ml
Research Scientist @GoogleDeepMind on the Open-Endedness Team. Prev: Postdoc @UBC_CS, PhD @UniofOxford
Swaroop Mishra
@swarooprm7
MTS @Microsoft AI, Prev: RS @GoogleDeepMind (Gemini). Opinions my own.
Roy Carrilho
@ruicarrilho5
CS PhD student, focusing on computer vision, on a (losing) journey to get cracked
fuzhe
@fuzhe19
Lead of HIT 驻汇金国际大厦办事处
Xi Ye
@xiye_nlp
I study NLP. Postdoc fellow @PrincetonPLI. Incoming assistant professor @UAlberta (Summer 2025). CS PhD @UTAustin.
cohere
@cohere
We build secure, scalable, and private enterprise-grade AI solutions for real-world business problems. Join us: cohere.com/careers
renji the 🐳🐳🐳🐳🐳🐳🐳🐳🐳🐳🐳🐳🐳🐳 maximalist
@brickroad7
AI Optimist. Empiricist, not 'rationalist'. Anti world government.
Mihir Mahajan
@maharajamihir
research at @prob_doom
Baseten
@basetenco
Fast, scalable inference in our cloud or yours
Yong Lin
@yong18850571
Postdoc Fellow @PrincetonPLI @Princeton. Focusing on the trustwothiness of LLM. Apple AI/ML PhD Fellow 2023. Obtained PhD degree from @HKUST
Ziming Liu
@zimingliu11
PhD student@MIT, AI for Physics/Science, Science of Intelligence & Interpretability for Science
Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com
Peiyi Wang
@sybilhyz
PhD @PKU1898; Researcher @deepseek_ai; Recent: DeepSeek-R1/CoderV2/Math/V1/V2/V3, Mathshepherd, FairEval, Speculative Decoding.
Zizheng Pan
@zizhpan
Researcher @deepseek_ai | Previously @nvidia @MonashUni @UniofAdelaide. Words are my own.
Sebastian Dannehl
@sebdannehl
ai research strategy @ aleph alpha
Zhicheng Yang
@yangzhch6
PHD student, Reasoning with LLMs, #LLM, #NLP
Junlong Li
@lockonlvange
Incoming PhD @hkust | CS MS/BS student @sjtu1896 | Interning @deepseek_ai | Ex Intern MSRA @MSFTResearch
Franz Srambical (not at neurips cuz no capacity)
@lemergenz
slowly, then suddenly. agi @prob_doom
Marco Dos Santos
@dsantosmarco
PhD student @ University of Cambridge | Researcher @ Numina | Formal mathematics, LLM, RL | Core contributor to Kimina-Prover, Llemma and OpenWebMath.
Generative AI
@generativeaihub
Inspired by Algorithms, Powered by Imagination: Unleashing the Potential of Generative AI. #GenerativeAI #deeplearning #AI #MachineLearning
anpaure
@anpaure
research
Zephyr
@zephyr_z9

Daya Guo
@guodaya
AI researcher @deepseek_ai. Interested in reasoning ability of LLMs. The long-term research goal is to develop artificial general intelligence.
BertrandRussell simp
@brussellsimp
axiomatic order
LMSYS Org
@lmsysorg
Large Model Systems Organization: We developed SGLang sglang.ai, Chatbot Arena, and Vicuna! Please join our Slack channel at slack.sglang.ai
Kimi.ai
@kimi_moonshot
Built by Moonshot AI to empower everyone to be superhuman. Kimi.ai
Haiming Wang
@haimingw97
PhD student @ Sun Yat-sen University. Researcher @ Moonshot AI, Team lead @ Project Numina
ByteDance
@bytedancetalk
Inspire Creativity, Enrich Life
Yi Tay
@yitayml
senior staff research scientist @googledeepmind ✨♊, opinions are my own
Lifan Yuan
@lifan__yuan
PhD student @UofIllinois | Prev. @TsinghuaNLP
Liangchen Luo
@liangchenluo
@xAI; ex @GoogleDeepMind; prev. B.S. @PKU1898. Opinions are my own.
Lianmin Zheng
@lm_zheng
Member of technical staff @xAI | Prev: Ph.D. @UCBerkeley, Co-founder @lmsysorg
Chujie Zheng
@chujiezheng
Researcher @Alibaba_Qwen | Opinions are my own