Liao Zhang @lideji1
Machine learning for theorem proving Neuro-symbolic learning Joined August 2018-
Tweets87
-
Followers72
-
Following1K
-
Likes880
Liao Zhang retweeted
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
155
773
4K
1.1M
704
Download Image
Liao Zhang retweeted
Can transformers analyze code efficiently? ✅ Yes. We prove transformers efficiently handle real compiler tasks (AST construction, symbol resolution, type infer) using only log size—while RNNs require linear size (in input length). Paper: arxiv.org/abs/2410.14706 #COLM2025
youtube.com/watch?v=NvfK1T… The best talk I have ever listened to recently
Liao Zhang retweeted
📣 Today 4/7 at 4:10 PM PT, join us for the 9th Advanced LLM Agents MOOC lecture on Language Models for Autoformalization and Theorem Proving by @KaiyuYang4 @Meta. 🌐 Join the thriving community of the LLM Agents MOOC series, with 23K+ registered learners & ~10K members on…
Liao Zhang retweeted
Our debut episode of UnitedReasoning's paper review series is live! 🧠 Dive into the world of theorem proving as we explore how the Proof Strategy Language (PSL) is making proof automation in Isabelle/HOL more accessible. buff.ly/41lDuIb
Liao Zhang retweeted
Can transformers be efficiently used as compilers? 1⃣ Systematically investigate the expressive powers of transformers on compilation tasks and confirm their effectiveness. 2⃣Build a tool Cybertron to automatically generate proofs for expressive powers. arxiv.org/abs/2410.14706
Liao Zhang retweeted
【講演】PFN社員でBinaryHacksRebootedの著者でもある河田（@a_kawashiro）と新卒出身の諸戸（@TumoiYorozu）によるMN-Core コンパイラ・ランタイムの講演が12/14（土）に京都CAMPHOR- HOUSEで行われます。オンライン配信も予定していますので、是非ご参加ください。 camphor.connpass.com/event/337837/
Check our paper which is the first work to learn explainable rules to guide tactic predictions for interactive theorem proving. arxiv.org/abs/2411.01188.
Liao Zhang retweeted
著者です。間違いなく読みごたえがある、すばらしい本である自信があります。どうぞよろしくお願いいたします。 x.com/oreilly_japan/…
著者です。間違いなく読みごたえがある、すばらしい本である自信があります。どうぞよろしくお願いいたします。 x.com/oreilly_japan/…
Liao Zhang retweeted
The @celtics are the 2023-24 NBA Champions!
Liao Zhang retweeted
Learn more & register here: europroofnet.github.io/Kutaisi24/
！！！
Liao Zhang retweeted
Hurry up! The submission deadline for AITP2021 is just around the corner. AITP is the premier conference for Artificial Intelligence and Theorem Proving. This year AITP will take place as a hybrid conference due to the pandemic. See you online! aitp-conference.org/2021/
Liao Zhang retweeted
More Than An Athlete. #godgotus
Sheila @s_braxton8
303 Followers 3K Following
Joshua Ong @joshuaongg21
76 Followers 164 Following Visiting Researcher @EdinburghNLP | PhD Student @imperialcollege LLM Reasoning | Autoformalisation | Neurosymbolic AI
Mia Malkova @MiaMalkova12824
18 Followers 373 Following
Ziyang Luo @ChiYeung_Law
1K Followers 3K Following Research Scientist @salesforce | Agents Researcher | Ex @MSFTResearch @AlibabaGroup @NUSingapore @HKBU_NLP
沈仝 @_jessyshen
387 Followers 7K Following 绝无小号新号，请认准有十几万粉丝的唯一真号，谁冒充我私信你，就拉黑他！支持共和党建制派，中间偏右，支持中国人民的幸福生活
Mwuraw @Mwuraw4026
16 Followers 700 Following
Ansel Daniel @AnselDanie31160
26 Followers 2K Following
Anne @Kenmwajuma
266 Followers 1K Following Even though I overcame life's difficulties alone, I had no intention of giving up easily.☀️⭐️🌟
Dina Volkman @DinaVolkma17053
84 Followers 2K Following
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Cruieefui @Cruieefui02349
15 Followers 358 Following 愛する人と、運命の時に出会えますように。そして、運命の人とも出会えますように。お会いできるのを楽しみにしています！
Mo Zhou @MoZhou_7
63 Followers 240 Following Postdoc @UW, PhD @DukeU, working on deep learning theory and non-convex optimization
Andong Fan @andongfan
169 Followers 169 Following PhD student @UofTCompSci. Interested in type systems.
Oswaldo Hyatt @OHyatt10692
79 Followers 3K Following
Yashu Sharma 🍊 @heyitsyashu3
227 Followers 3K Following Host of Hit That Bid YouTube covering AI/Tech/Tesla/Stocks. NFA. ✝️
Anibal Bosco @ABosco75135
117 Followers 3K Following
Yongfeng Zhang @yongfengzhang9
3K Followers 690 Following Professor of CS@Rutgers; Personal opinions only, do not endorse anything.
Yuetai Li @yuetai12575
225 Followers 569 Following Second year PhD @UW | Post-Training, LLM reasoning and synthetic dataset. https://t.co/cYAkbnCsCp Open to chat and collaborate!
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Yaozhu Sun @yzyzsun
248 Followers 377 Following Programming Languages Researcher. Postdoc @jouhouken 🇯🇵 | PhD @HKUniversity 🇭🇰
Weiyan Shi@CHI2025 @weiyanshior2
96 Followers 159 Following HCI PhD Student @sutdsg | Multimodal | Human-AI Alignment | Prev @PKU1898
Gracelyn @coderlin3
85 Followers 3K Following
Yingjia Alisa Wan @Yingjia_Wan
243 Followers 221 Following Incoming PhD @UCLA | MPhil in NLP @Cambridge_Uni | BA @UM_1981
kmr @rilakkumacho
209 Followers 549 Following 型理論とか数理論理学とかプログラミング言語理論あたりが専門…？分離論理とか循環証明系とか．Erdos Number は 5
Chengyu Zhang @chengyuzh
510 Followers 414 Following Lecturer (Assistant Professor) at @lborouniversity. Software Engineering, Programming Languages, and Formal Methods. 🙌 Looking for PhD and visiting students.
Patrick Shafto @patrickshafto
3K Followers 879 Following PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3
Runlong Zhou @VectorZhou
225 Followers 329 Following PhD student @uwcse; BEng from IIIS, @Tsinghua_Uni
Angie Metz @MetzAngie32197
95 Followers 4K Following
Natalie @c_natalie46
183 Followers 3K Following
Yukihiro ODA @Yukihiro0036
425 Followers 461 Following Specially appointed research fellow at Tohoku Univ. Logic/Cyclic proofs/π-calculus 酒は人類の友だぞ。友人を見捨てられるか
Karl Weinmeister @kweinmeister
2K Followers 4K Following Cloud Engineering @ Google. AI/ML/Data, Blue Devil & Longhorn, wanna-be at home improvement. Opinions are my own.
Simon Shaolei Du @SimonShaoleiDu
8K Followers 2K Following Assistant Professor @uwcse. Postdoc @the_IAS. PhD in machine learning @mldcmu.
Yiping Wang @ypwang61
1K Followers 1K Following Ph.D. @uwcse. undergraduate @ZJU_China. I'm interested in mathematics, agi, and physics.
Arth Shukla @arth_shukla
546 Followers 752 Following Incoming PhD student @HaoSuLabUCSD and @Hillbot | Robot learning, manipulation, vision, simulation | 2 Cat 2 Dad
Shashank Kirtania @5hv5hvnk
467 Followers 2K Following pre doc research fellow @prosemsft | interested in AI & Formal Methods
Alberto Carlo Maria M... @alberto_mancino
201 Followers 285 Following PostDoc at the Polytechnic University of Bari. In love with RecSys, Graph Learning, Knowledge Graphs and Differential Privacy.
Atsuki Yamaguchi @_gucciiiii
324 Followers 366 Following PhD student @SheffieldNLP. Previously NLP researcher at @hitachi. Views are my own. #NLProc
Zhanpeng Zhou @zhanpeng_zhou
274 Followers 382 Following Ph.D. candidate @sjtu1896 | Exploring the theoretical foundations of deep learning.
Danlu Chen @danlu_ai
745 Followers 621 Following Ph.D. candidate @ UCSD. Currently part-time @GoogleDeepMind working on ancient languages recognition. Previous @FacebookAI @NVIDIA. ski instructor.
Jocelyn Shen @jocelynjshen
726 Followers 759 Following PhD student @MIT @medialab | currently @MSFTresearch, formerly research intern @apple AI/ML, CS @MIT (class of '22) | HCI + NLP + social psych | she • her
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
𝕵𝖊𝖑𝖑𝖞�... @fdbubble420
2K Followers 7K Following 🫧 泡 ҉泡҉ LIVING IN ҉ FOUR-DIMENSIONAL SPACE🫧 AI Bubble @BlockBeatsAsia 🎼 | 替身使者 /Accelerate𓂀
Ligeng Zhu @LigengZhu
2K Followers 2K Following Research Scientist at @Nvidia building VLMs , previously @MIT, @SFU and @ZJU_China.
Zhi Su @ZhiSu22
2K Followers 137 Following Undergrad @Tsinghua_IIIS | 🤖 Robot Learning | Looking for PhD position
Liangchen Luo @LiangchenLuo
4K Followers 122 Following @xAI reasoning; ex @GoogleDeepMind. B.Sc. @PKU1898. Opinions are my own.
Sang Cho @Saaaang94
2K Followers 465 Following reasoning @xAI | prev-founding engineer @anyscalecompute | senior committer of @raydistributed | committer @vllm_project Sglang | Github: rkooo567
Joy Hsu @joycjhsu
3K Followers 302 Following CS PhD-ing @stanford & @knighthennessy. Studying visual reasoning, neuro-symbolic learning, and visual concepts @stanfordailab & @stanfordsvl.
Joshua Ong @joshuaongg21
76 Followers 164 Following Visiting Researcher @EdinburghNLP | PhD Student @imperialcollege LLM Reasoning | Autoformalisation | Neurosymbolic AI
Poe @poe_platform
73K Followers 3 Following The best AI, all in one place. GPT-5, Grok 4, Claude 4.1, Veo 3 and more. At https://t.co/N5CdbrNcSa, or for iOS, Android, Mac, or Windows at https://t.co/YyFq8FS0ph
Chris Amato @cjdamato
1K Followers 379 Following Associate Professor at Northeastern University and father of 3. Interests include artificial intelligence, reinforcement learning, and robotics (he/him).
Rocky Duan @rocky_duan
3K Followers 97 Following Research Lead @ Amazon FAR (Frontier AI & Robotics). Previously @CovariantAI CTO, @OpenAI, @UCBerkeley PhD. 2024 Forbes 30 Under 30.
Kawin Ethayarajh @ethayarajh
4K Followers 937 Following Assistant Professor @UChicago @ChicagoBooth. PhD @StanfordAILab @stanfordnlp. Behavioral machine learning.
Ziyang Luo @ChiYeung_Law
1K Followers 3K Following Research Scientist @salesforce | Agents Researcher | Ex @MSFTResearch @AlibabaGroup @NUSingapore @HKBU_NLP
MIT CSAIL Alliances @csail_alliances
2K Followers 701 Following We connect companies to groundbreaking MIT CSAIL research. Our X account is paused. Engage with us here: https://t.co/HwFdID2U66
This is Suzhou @ThisisSuzhou
27K Followers 930 Following Welcome to the official page of Suzhou, home to many UNESCO-listed classical gardens.
Guangxuan Xiao @Guangxuan_Xiao
3K Followers 697 Following Ph.D. student at @MITEECS Prev: CS & Finance @Tsinghua_Uni
Alex Goldie @ RLC 25 @AlexDGoldie
419 Followers 355 Following RS intern @wayve_ai 🚗 PhD student at 🤖 @whi_rl and @flair_ox 🤖 First Class MEng from Oxford 🎓
Xiangming Gu @gu_xiangming
1K Followers 390 Following Ph.D. student @NUSingapore, student researcher @GoogleDeepmind. Prev: intern @SeaAIL, B.E. and B.S. from @Tsinghua_Uni.
LMSYS Org @lmsysorg
8K Followers 167 Following Large Model Systems Organization: Join our Slack: https://t.co/mSPNyKTLTS We developed SGLang https://t.co/jEqIJcGwGA, Chatbot Arena (now @lmarena_ai), and Vicuna!
Eigen AI @Eigen_AI_Labs
706 Followers 21 Following Built by researchers and engineers from MIT, we are pursuing Artificial Efficient Intelligence (AEI). Try GPT-OSS support: https://t.co/BQfsnXIGFo.
Reaslab @reas_lab
57 Followers 97 Following The Reas lab @UCSanDiego uses #neuroimaging to study #Alzheimers disease and brain #aging. PI @etreas
Yilin Wu @YilinWu11
837 Followers 279 Following Research Intern at Nvidia, Robotics Ph.D. @CMU, MSCS @Stanford
xAI @xai
1.8M Followers 38 Following
Mistral AI @MistralAI
156K Followers 0 Following Frontier AI in your hands. https://t.co/VdyEwpQsiy Apps: https://t.co/1vZA5XdBYo https://t.co/rj5G4u5sHu
Yoshua Bengio @Yoshua_Bengio
25K Followers 206 Following Working towards the safe development of AI for the benefit of all @UMontreal, @LawZero_ & @Mila_Quebec A.M. Turing Award Recipient and most-cited AI researcher.
Tongyi Lab @Ali_TongyiLab
4K Followers 17 Following We advance the development of AGI and foster open source collaboration towards a smarter future.
Wen Sun @WenSun1
720 Followers 76 Following Assistant professor at @cornell_tech and research scientist at @Databricks; working on Reinforcement Learning.
BrainGrid AI @braingridai
386 Followers 10 Following Get 100x more out of AI coding. AI-Powered Requirements & Task Management for Developers using Cursor, Windsurf, Cline, or Copilot.
yingzhen @liyzhen2
4K Followers 159 Following teaching machines🤖 to learn🔍 and fantasize🪄 now 🇬🇧@ImperialCollege @ICComputing ex @MSFTResearch @CambridgeMLG helping @aistats_conf 24-26
Thang Luong @lmthang
27K Followers 95 Following Lead Superhuman Reasoning team @GoogleDeepMind. AI IMO Gold. Co-led #DeepThink, #AlphaGeometry, #Bard (now Gemini) Multimodality, #MeenaBot. LuongAttention.
Tsung-Ju Chiang @tsungjuc
81 Followers 198 Following Studying programming languages. Mastodon: @[email protected]
Lily Liu @eqhylxx
1K Followers 429 Following CS PhD Student, Sky Lab @UCBerkeley, @vllm_project, @OpenAI
Abhilasha Ravichander @lasha_nlp
4K Followers 2K Following Research in Natural Language Processing (#NLProc) Incoming assistant prof @mpi_sws_ Postdoc @uwnlp | PhD @SCSatCMU @LTIatCMU Accepting PhD students/interns
Bill Yuchen Lin @billyuchenlin
23K Followers 3K Following Building Grok @xAI. Affiliate Assistant Prof @UW; Focusing on Grok Code for Macrohard now. Ex: @allen_ai, Google AI, Meta FAIR.
George Tsoukalas @gtsoukal
401 Followers 270 Following PhD student at UT Austin interested in automatic theorem proving.
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Lin Yang @lyang36
3K Followers 1K Following Associate Professor of ECE&CS@UCLA. ML, RL, big data, algorithms, astronomy.
Genspark @genspark_ai
21K Followers 46 Following General AI Agent for Everyone and Everyday Tasks Follow us: https://t.co/s8I5BNXBdV https://t.co/y0XAALqRd6
Thomas G. Dietterich @tdietterich
57K Followers 619 Following Distinguished Professor (Emeritus), Oregon State Univ.; Former President, Assoc. for the Adv. of Artificial Intelligence; Robust AI & Comput. Sustainability
Ernest Ryu @ErnestRyu
6K Followers 345 Following Professor of Mathematics at UCLA. Interested in deep learning and optimization.
Dahlia Malkhi @dahlia_malkhi
4K Followers 225 Following Professor @UCSB, advisor of @SpaceComputerIO, @LyquorLabs, @Nubit_org, @EspressoSys, former chief scientist @ChainlinkLabs, former CTO @DiemAssociation
Sherry Tongshuang Wu @tongshuangwu
6K Followers 1K Following Assist. Prof @SCSatCMU , CS PhD @uwcse. HCI+AI, map general-purpose models to specific use cases! prev. intern @MSFTResearch @GoogleAI @Apple. She/her.
Kaiming Cheng @KaimingCheng
586 Followers 820 Following Research Scientist @pytorch @meta. Prev: PhD from @uwcse. Opinions are my own.
Kevin Lu @_kevinlu
9K Followers 216 Following @thinkymachines. formerly: - @openai: RL, synthetic data, efficient models - @berkeley_ai: decision transformer, universal computationTrends for United States
188 B posts
50,8 B posts
63,6 B posts
58,6 B posts
176 B posts
212 B posts
68,2 B posts
39,9 B posts
7.446 posts
54,6 B posts
5.022 posts
5.129 posts
6.556 posts
4.890 posts
129 B posts
36,8 B posts
5.490 posts
3.511 posts
2.560 posts
3.562 posts
You might like
Zheng Yuan
@zhengyuan_nlp
329 Followers
Kazutaka Matsuda
@KazutakaMatsuda
238 Followers
Hyunsung Cho
@hciresearcher
1K Followers
Hui Xu
@chinahxu
217 Followers
Takafumi Saikawa
@t6s
469 Followers
Xingyu Bruce Liu
@liu_xingyu
414 Followers
ENJOY父さん
@EnJoyTohsan
708 Followers
ほない
@_honai
678 Followers
Κeіsuke Νakanο
@ksknac
770 Followers
第297654658185列
@akanehara
790 Followers
Takao Takahashi
@_tsq
972 Followers
川向薫
@bydriv
1K Followers
Nd
@Nd37568012
385 Followers
Üe🦀
@ranha
938 Followers
みけCAT
@mikecat_mixc
527 Followers