
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

haoxiaoru
@haoxiaoru

Prashant singh
@madnavat
🤖
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
Neel Rajani
@neelrajani_
PhD student in responsible NLP @InfAtEd. Passionate about Mechanistic Interpretability and LLM training dynamics
Yang Fan 范阳
@yang_supertramp
Building a new type of venture studio. ❤️🤖🧬🌍🧘 Ex-founder, ELSEWHERE. Member of The Explorers Club in NY, was on an expedition to find Genghis Khan’s tomb.
Lins
@llins_s

Velaceecs
@velaceecs
太棒了!我逐渐理解一切 ~
Peng Su
@jayden_so
Solve real-world AI problem. Research scientist at Huawei Autonoumous Driving.
Baran Hashemi
@rythian47
Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , #AI4Math, #AI4Science
wenbo
@realhanwenbo
Focus on technology, current social media trends, and their intertwined politics.
Wanru Zhao
@renee42581826
PhD Student @CaMLSys @Cambridge_CL & @VectorInst | Prev: @DGLGraph @AWS & @CambridgeJBS | Do not go gentle into that good night 🧗 | wanru.bsky.social
nicy丶
@nicy71269159
Master degree candidate in IMECAS
电报频道刷订阅 telegram电报群刷成员 电报会员代开 账号帖子表情转发量浏览量tg
@dsriniv90347858
刷粉自助 gmfensi.top (复制浏览器打开)账号购买 gmkaka.net 联系电报 t.me/gmfensi qq 3666756957
Harry Sanders
@harrysanders22
making things that learn and do math.
Chris | Yicheng
@chrisyicheng
Tech & Freedom | 🎮 Building General Gaming AI | Positive Feedback Loop 🧬 Dissipative Structure
Luo ci(洛辞)🌈
@hc0ok2
Non-binary🏳️🌈 Wechat Official Accounts(洛辞的书屋)📕
Xiaohang Tang
@xiaohang_tang
PhD student @stats_UCL, @ucl.
Pierre Chambon
@pierrechambon6
NLP/Code Generation PhD at FAIR (Meta AI) and INRIA - previously researcher at Stanford University - MS Stanford 22’ - Centrale Paris P2020
Namrata Anil Vichare
@vichare_namrata
human
zwt2021
@weitaizhang

tao-shen
@tao_shen_

Zhiyuan Sun
@zhiyuan__s

Marco Dos Santos
@dsantosmarco
PhD student @ University of Cambridge | Researcher @ Numina | Formal mathematics, LLM, RL | Core contributor to Kimina-Prover, Llemma and OpenWebMath.
Alpay Ariyak
@alpayariyak
LLM Post-Training Lead @ Together AI | OpenChat Project Lead (2M+ downloads, #1 7B LLM on Arena for 2+ months) | DeepCoder
Mervyn Zhang
@zhang_mervyn

Ray Si 🇸🇬
@raysiri28
Starship fanboy ‖ SDE ‖ OSINT 🇸🇬
Joshua Ong
@joshuaongg21

Dapeng Jiang
@randomforestdp

Sarah Dorsten
@sarah_dorsten

Neo7000
@neon336742

Antoine du Fresne
@dufresnevha

zyz
@zyz09143699433

BY
@bbyy0811

呜吼呜呼
@ahhwuhu

Ailstair Begg
@ailstairb81380

threez
@zerozhongshan

walker
@walk_a_lot
Torsion in gastropods is the most fascinating question facing the natural scientist
AI SPECTRA
@aispect
The best Ai prompts you can use today!
H WANG
@wangh1978
NA
Eddie Karimov
@acekarimov

Merci Beau Cul
@mercibeaucool

Haiming Wang
@haimingw97
PhD student @ Sun Yat-sen University. Researcher @ Moonshot AI, Team lead @ Project Numina
Xiaohan Lin
@xiaohanlin2000
Master's student at Sun Yat-sen University; research intern at Moonshot AI.
The Yanga
@yangaiiii

Entryism Enjoyer🐵🧦🏗️
@secperkinsstan
He/Him. Fallback: @[email protected]
tqiplll
@tqiplll

Rookie
@nekofneko

bommm
@rosaaa_m

shashank's
@shashankkreddyy
math data neural networks (◕‿◕) /█\ / \
MichMach
@mich0_0mach
Just here for cool stuff