Joshua Ong @joshuaongg21
Visiting Researcher @EdinburghNLP | PhD Student @imperialcollege LLM Reasoning | Autoformalisation | Neurosymbolic AI joshuaongg21.github.io England, United Kingdom Joined February 2024-
Tweets174
-
Followers78
-
Following164
-
Likes524
Joshua Ong retweeted
We introduce PiCSAR (Probabilistic Confidence Selection And Ranking)💡: A simple training-free method for scoring samples based on probabilistic confidence, selecting a reasoning chain with the highest confidence from multiple sampled responses. ✏️PiCSAR is generalisable across…
2
29
93
13K
61
Download Image
Joshua Ong retweeted
Picking reasoning chains by confidence works!
Picking reasoning chains by confidence works!
Joshua Ong retweeted
🚀 Excited to see our work on PiCSAR out! Thrilled to have Joshua as a co-author — and even more thrilled that he’ll be joining my group this academic year. Big things ahead!
🚀 Excited to see our work on PiCSAR out! Thrilled to have Joshua as a co-author — and even more thrilled that he’ll be joining my group this academic year. Big things ahead!
Joshua Ong retweeted
Building on what @lmthang shared, here's another fun fact from our final push: we finalized the model checkpoint selection just 5 hours before the IMO problems were released! It's incredible to see the model we were babysitting over that final weekend now demonstrating…
Building on what @lmthang shared, here's another fun fact from our final push: we finalized the model checkpoint selection just 5 hours before the IMO problems were released! It's incredible to see the model we were babysitting over that final weekend now demonstrating…
Joshua Ong retweeted
Massive massive massive congrats @GiwonHong413849 🚀🚀🚀🚀🚀🚀
Joshua Ong retweeted
Our paper "Do Large Language Models Perform Latent Multi-Hop Reasoning without exploiting shortcuts?" will be presented at #ACL2025 today. 📍 Mon 18:00-19:30 Findings Posters (Hall X4 X5) Please visit our poster if you are interested! ✨
Our paper "Do Large Language Models Perform Latent Multi-Hop Reasoning without exploiting shortcuts?" will be presented at #ACL2025 today. 📍 Mon 18:00-19:30 Findings Posters (Hall X4 X5) Please visit our poster if you are interested! ✨
Joshua Ong retweeted
Notable mention -- Joshua Ong (@joshuaongg21), main author of "Theorem Prover as a Judge for Synthetic Data Generation" (arxiv.org/abs/2502.13137), just finished his BSc in Maths at Edinburgh, and he is now starting a PhD with @e_giunchiglia at Imperial! Keep him on your radar 🚀
Notable mention -- Joshua Ong (@joshuaongg21), main author of "Theorem Prover as a Judge for Synthetic Data Generation" (arxiv.org/abs/2502.13137), just finished his BSc in Maths at Edinburgh, and he is now starting a PhD with @e_giunchiglia at Imperial! Keep him on your radar 🚀
Joshua Ong retweeted
A NeurIPS review.
Joshua Ong retweeted
Slides for my lecture “LLM Reasoning” at Stanford CS 25: dennyzhou.github.io/LLM-Reasoning-… Key points: 1. Reasoning in LLMs simply means generating a sequence of intermediate tokens before producing the final answer. Whether this resembles human reasoning is irrelevant. The crucial…
Joshua Ong retweeted
Lovely to see the impressive performance of the Seed Prover developed by the ByteDance Seed team at IMO 2025 — achieving a silver-level score (30 out of 42) within three days, and reaching (35 out of 42) with extended compute time. leanprover.zulipchat.com/#narrow/channe…
Deepak Y @Bleed_Blue_I
202 Followers 7K Following Machine Learning Practitioner, Interested in Equity Research, Physics, Sports and Space.
Vartan Polodyan @VarPol
188 Followers 6K Following
Alex Gurung @AlexAag1234
436 Followers 475 Following PhD student at @EdinburghNLP | undergrad+masters @gtcomputing
Litu Ou @l1tu_0u
138 Followers 1K Following Intern at @Ali_TongyiLab | Incoming PhD student at the University of @EdinburghNLP | BSc student @EdinburghUni
Mimansa Jaiswal @MimansaJ
4K Followers 5K Following Currently RS @aiatmeta | LLMs/SLMs | Data, Evals and Agentic System Orchestration
Sergio Soage @Sergio_Soage
878 Followers 6K Following artificial intelligence, math. Random stuff @ https://t.co/tqV9OIPsWE
Pratyush Acharya @pratyush0_007
40 Followers 467 Following No idea of what I am nor about the future...
Kuaternion @Kuaternion
248 Followers 6K Following
Malcolm Vosen @abacus_agent
148 Followers 3K Following Economist, Emerging Markets and Central Bank observer. Likes a good chart. Dislikes the limelight. "I never learned anything while I was talking."
Liao Zhang @lideji1
72 Followers 1K Following Machine learning for theorem proving Neuro-symbolic learning
LeoLee @LeeLeo1993
65 Followers 861 Following
Aakanksha Chowdhery @achowdhery
11K Followers 5K Following @Stanford @reflection_ai // Previously @GoogleDeepMind :: PaLM, Gemini // @MSFTResearch, @Princeton // views my own and subject to change
Zhang Meng @ZhangMeng101010
431 Followers 1K Following Meta Llama, Cambridge PhD machine learning 张萌 性别男
Keno Harada @KH_ls_ippon
163 Followers 807 Following La Salle 65th→PSI→TMI, the University of Tokyo Matsuo Lab D1
Epsilon Guanlin Lee @Epsilon_Lee
256 Followers 3K Following PhD, MLer, CLer (NLPer), ML Engineer at https://t.co/gX6Lem59Co, have belief in interpretability research of AI/ML/NNs
Alex Nguyen @anhhuyalex
334 Followers 2K Following ph.d student @ptoncompmemlab: brain & machine learning. he/him
Evangeline R @Evangelineeeer
76 Followers 905 Following
Rohan Paul @rohanpaul_ai
83K Followers 8K Following Compiling in real-time, the race towards AGI. 🗞️ Don't miss my daily top 1% AI analysis newsletter directly to your inbox 👉 https://t.co/6LBxO8215l
clhong1248 @CarinaLHong
2K Followers 914 Following Hiring: resume to [email protected] to love math is to see the face of God Morgan Prize, Rhodes Scholar Math PhD@Stanford; Neuro@Oxford; Math+Physics@MIT
Zheng Zhao @zhengzhao97
253 Followers 260 Following PhD Student @Edin_CDT_NLP @edinburghnlp | intern @AIatMeta | former intern @amazon | working on LLMs
Clara Smith @Nurulemylia8
112 Followers 5K Following Guiding @Elonmusk’s vision for a better future through SpaceX, Tesla, Neuralink and more 🚀 I teach enthusiasts, dream chaser and innovation advocate 🌟
EdinburghNLP @EdinburghNLP
13K Followers 159 Following The Natural Language Processing Group at the University of Edinburgh.
Scarlett wong @sholyadams
110 Followers 3K Following Part of the innovation journey with @elonmusk I Pushing the boundaries of technology and exploring the cosmos | Committed to a sustainable future 🌿
Zhenhao Li @ZhenhaoLi1
195 Followers 443 Following Research Engineer @EpicGames, building Epic Developer Assistant; prev @imperialcollege. multi-agent, code generation.
Ana Ezquerro @anaezquerro_
77 Followers 134 Following Research Engineer at @lysresearch | Incoming PhD student at @tugraz | probably preparing a wonton soup🥢| https://t.co/sB8mgyKCH0
Quacout @Quacout858132
84 Followers 2K Following
Juraj Vladika @JurajVladika
469 Followers 686 Following 🧑🏻🎓PhD student in #NLProc at @TU_Muenchen 🥨🇩🇪 // working on scientific fact verification, LLM factuality, biomedical NLP // 🇭🇷
Haoxuan (Steve) Chen @haoxuan_steve_c
913 Followers 3K Following Ph.D. in ICME @Stanford; B.S. @Caltech; ML Intern @AmazonScience @NECLabsAmerica; Applied & Computational Math/Machine Learning/Statistics/Scientific Computing
Pardissadat Zahraei @PardisZahraei
15 Followers 332 Following CS PhD student @ UIUC (Fall '25) 🎓 | NLP researcher ✨
Jaron Maene @jjcmoon
109 Followers 301 Following PhD Machine Learning @KU_Leuven | #neurosymbolic learning & #probabilistic reasoning
Katya Voloshina @ekat_voloshina
54 Followers 252 Following PhD Candidate in Computer Science at @goteborgsuni & @chalmersuniv | interested in multilingual, multimodal or neurosymbolic NLP, linguistics, cognitive science
Eleonora Giunchiglia @e_giunchiglia
817 Followers 518 Following Assistant Professor at Imperial College London | EEE Department and I-X. Previously: Post-doc at TU Wien, DPhil student at the University of Oxford.
. @C8H10N4O2_noir
41 Followers 519 Following
Eva Louise Marie Gabr... @e681554349
11 Followers 7K Following
Nicola Saccomanno @sacco_nico
77 Followers 494 Following PostDoc Researcher. PhD in Computer Science @uniud. #NeuroSymbolicAI, #Data #science, and #AI applied to indoor #positioning and #healthcare.
Imperial NLP @imperial_nlp
1K Followers 962 Following We are the Natural Language Processing community at @imperialcollege
Meng F @mengf_
16 Followers 588 Following
nrRNjkitRHmMP @RNjkit72037
0 Followers 2K Following I'm interested in category theory and machine learning.
Sam Kuhn @SamKuhnDev
219 Followers 6K Following
Zaid Khan @codezakh
550 Followers 862 Following @uncnlp with @mohitban47 working on grounded reasoning + multimodal agents // currently @allen_ai formerly @neclabsamerica // bs+ms CompE @northeastern
Assoc. Prof. Dr. M. U... @udmrzn
2K Followers 7K Following Associate Professor of Computer Science & Engineering, Artificial Intelligence Researcher, #artificialintelligence, #deeplearning, #machinelearning, #genai
Haritz Puerto @HaritzPuerto
483 Followers 957 Following Machine Learning & #NLProc Ph.D. Candidate at @UKPLab 🇩🇪🇪🇺 Previously at @kaistpr 🇰🇷 Teaching LLaMAs 🦙 how to think
Alex Gurung @AlexAag1234
436 Followers 475 Following PhD student at @EdinburghNLP | undergrad+masters @gtcomputing
tokenbender @tokenbender
9K Followers 696 Following playing reward lottery• chaotic neutral • critique by creating
Litu Ou @l1tu_0u
138 Followers 1K Following Intern at @Ali_TongyiLab | Incoming PhD student at the University of @EdinburghNLP | BSc student @EdinburghUni
Yuhuai (Tony) Wu @Yuhu_ai_
38K Followers 452 Following Co-Founder @xAI. Grok Reasoning, STaR, Minerva, AlphaGeometry, Autoformalization, AlphaStar, Memorizing transformer.
Aakanksha Chowdhery @achowdhery
11K Followers 5K Following @Stanford @reflection_ai // Previously @GoogleDeepMind :: PaLM, Gemini // @MSFTResearch, @Princeton // views my own and subject to change
Liao Zhang @lideji1
72 Followers 1K Following Machine learning for theorem proving Neuro-symbolic learning
Zhang Meng @ZhangMeng101010
431 Followers 1K Following Meta Llama, Cambridge PhD machine learning 张萌 性别男
Rohan Paul @rohanpaul_ai
83K Followers 8K Following Compiling in real-time, the race towards AGI. 🗞️ Don't miss my daily top 1% AI analysis newsletter directly to your inbox 👉 https://t.co/6LBxO8215l
Fangyuan Xu @brunchavecmoi
508 Followers 611 Following 许方园👩🏻💻phd student @ nyu, interested in natural language processing, also via fangyuanxu.🦋.social
Marek Rei @MarekRei
2K Followers 266 Following Researcher in #MachineLearning and #NLProc, working on representation learning and language. Lecturer at @imperialcollege, visiting researcher at @Cambridge_Uni
Lucia Specia @lspecia
2K Followers 196 Following Chief scientist at https://t.co/cfFbRbmAkw & Professor of Natural Language Processing, Imperial College
Susan Zhang @suchenzang
33K Followers 641 Following @ Google Deepmind. Past: @MetaAI, @OpenAI, @unitygames, @losalamosnatlab, @Princeton etc. Always hungry for intelligence.
NEC Laboratories Euro... @NECLabsEU
102 Followers 7 Following We develop cutting-edge #technology across #AI, #6G, #digitalhealth and #security to solve society's biggest challenges.
Zhuohan Li @zhuohan123
9K Followers 865 Following mts @ openai | cs phd @ 🌁 uc berkeley | building @vllm_project | machine learning system | the real agi is the friends we made along the way
Zhenhao Li @ZhenhaoLi1
195 Followers 443 Following Research Engineer @EpicGames, building Epic Developer Assistant; prev @imperialcollege. multi-agent, code generation.
Lei Yu @LeiYu63
595 Followers 241 Following Staff Research Scientist @GoogleDeepMind, Gemini Thinking, AI IMO Gold, AlphaProof, Machine Translation | PhD @Oxford | MPhil @Cambridge
Ana Ezquerro @anaezquerro_
77 Followers 134 Following Research Engineer at @lysresearch | Incoming PhD student at @tugraz | probably preparing a wonton soup🥢| https://t.co/sB8mgyKCH0
Delta Institute @DeltaInstitutes
1K Followers 39 Following Supporting exceptional researchers/engineers, from academia to industry and beyond.
Anthropic @AnthropicAI
637K Followers 35 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
Megagon Labs @MegagonLabs
763 Followers 86 Following Megagon Labs advances state-of-the-art research in AI and builds technologies that impact the world through online services. #NLP #AI #ML #NLP4HR #LLM #RAG
Haoxuan (Steve) Chen @haoxuan_steve_c
913 Followers 3K Following Ph.D. in ICME @Stanford; B.S. @Caltech; ML Intern @AmazonScience @NECLabsAmerica; Applied & Computational Math/Machine Learning/Statistics/Scientific Computing
Jason Wei @_jasonwei
98K Followers 635 Following ai researcher @meta superintelligence labs, past: openai, google 🧠
Katya Voloshina @ekat_voloshina
54 Followers 252 Following PhD Candidate in Computer Science at @goteborgsuni & @chalmersuniv | interested in multilingual, multimodal or neurosymbolic NLP, linguistics, cognitive science
Nicola Saccomanno @sacco_nico
77 Followers 494 Following PostDoc Researcher. PhD in Computer Science @uniud. #NeuroSymbolicAI, #Data #science, and #AI applied to indoor #positioning and #healthcare.
Eleonora Giunchiglia @e_giunchiglia
817 Followers 518 Following Assistant Professor at Imperial College London | EEE Department and I-X. Previously: Post-doc at TU Wien, DPhil student at the University of Oxford.
Imperial NLP @imperial_nlp
1K Followers 962 Following We are the Natural Language Processing community at @imperialcollege
EdinburghNLP @EdinburghNLP
13K Followers 159 Following The Natural Language Processing Group at the University of Edinburgh.
Kiril Gashteovski @kgashteo
588 Followers 665 Following Senior Research Scientist @NECLabsEU. Research in AI, NLP, Evaluation, XAI. Loves history of ideas. Views my own.
Haritz Puerto @HaritzPuerto
483 Followers 957 Following Machine Learning & #NLProc Ph.D. Candidate at @UKPLab 🇩🇪🇪🇺 Previously at @kaistpr 🇰🇷 Teaching LLaMAs 🦙 how to think
Zaid Khan @codezakh
550 Followers 862 Following @uncnlp with @mohitban47 working on grounded reasoning + multimodal agents // currently @allen_ai formerly @neclabsamerica // bs+ms CompE @northeastern
Giwon Hong @GiwonHong413849
119 Followers 211 Following PhD student in ILCC (NLP) program at the University of Edinburgh
ACL 2025 @aclmeeting
22K Followers 52 Following Association for Computational Linguistics | ACL 2025 conference | The 63rd Annual Meeting of the ACL Hashtags: #NLProc #ACL2025NLP
Yi Ma @YiMaTweets
101K Followers 488 Following Chair Prof. in AI, HKU; Visiting Prof. of EECS, UCB New book on Principles of Intelligence: https://t.co/leZlkURb7j
Neel Rajani @NeelRajani_
184 Followers 512 Following PhD student in responsible NLP @InfAtEd. Passionate about LLM interpretability and alignment
Kayo Yin @kayo_yin
15K Followers 695 Following PhD student @berkeley_ai @berkeleynlp. AI alignment & signed languages. Prev @carnegiemellon @polytechnique, intern @msftresearch @deepmind. 🇫🇷🇯🇵
Yao Tang @tyao923
287 Followers 308 Following PhD student @CIS_Penn | BEng @sjtu1896 | Ex @MSFTResearch @uclanlp
Beidi Chen @BeidiChen
15K Followers 399 Following Asst. Prof @CarnegieMellon, @amazon Scholar, Prev: Visiting Researcher @Meta, Postdoc @Stanford, Ph.D. @RiceUniversity, Large-Scale ML, a fan of Dota2.
Yifu Qiu @yifuqiu98
456 Followers 259 Following @ELLISforEurope PhD Student in NLP @EdinburghUni /@Cambridge_Uni | Intern @Meta FAIR | formerly @Apple AIML @Baidu_inc NLP | 2023 Apple AI/ML Scholar
Huajian Xin @huajian_xin
3K Followers 339 Following Ph.D. Student @InfAtEd on LLMs for theorem proving | Student Researcher @BytedanceTalk Doubao/Seed | Ex. @deepseek_ai | Recent: DeepSeek-Prover, Seed-Prover
Sean Welleck @wellecks
7K Followers 227 Following Assistant Professor at CMU. Marathoner, @thesisreview.
Mina Lee @MinaLee__
4K Followers 474 Following Assistant Professor at @UChicagoCS ✍️ NLP & HCI AI-assisted writing, Human-AI interaction, Language models
Tatsunori Hashimoto @tatsu_hashimoto
8K Followers 198 Following Assistant Prof at Stanford CS, member of @stanfordnlp and statsml groups; Formerly at Microsoft / postdoc at Stanford CS / Stats.
Wenhu Chen @WenhuChen
22K Followers 664 Following AI researcher. Interested in Reasoning, Multimodal. I direct TIGER-Lab. Author of PoT, MMMU, MMLU-Pro, MAmmoTH, LongRAG, MAP-Neo, YuE, VL-Rethinker
Diyi Yang @Diyi_Yang
18K Followers 2K Following Assistant Professor @Stanford CS @StanfordNLP @StanfordAILab LLMs for Humans
Trends for United States
102 B posts
11,1 B posts
11,4 B posts
1.998 posts
5.756 posts
13,8 B posts
6.161 posts
17,1 B posts
15,3 B posts
4.187 posts
23,7 B posts
13,4 B posts
1.305 posts
2.466 posts
4.620 posts
4.910 posts
23,7 B posts
You might like
Elon Musk
@elonmusk
225.3M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.8M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers