Stanford Centaur Lab @CentaurLab
The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research. centaur.stanford.edu Stanford, CA Joined December 2023-
Tweets20
-
Followers46
-
Following8
-
Likes3
Clark Barrett and David Dill received the CAV Award for developing the Reluplex algorithm! i-cav.org/2024/cav-award/
We are excited to announce that Ying Sheng will be joining UCLA as an Assistant Professor in the Computer Science Department! She is expected to start in Fall 2026.
Udayan Mandal has been recognized with the Cristofer Stephensen Memorial Award for his master's thesis!
Benjamin Przybocki has been recognized with the Firestone Medal for his undergraduate thesis, Theoretical Aspects of Satisfiability Modulo Theories!
Benjamin Przybocki's paper, The nonexistence of unicorns and many-sorted Löwenheim–Skolem theorems, was accepted to FM2024! Check out the preprint here: arxiv.org/abs/2406.18912
SMT tutorial paper, Satisfiability Modulo Theories: A Beginner's Tutorial, was accepted to FM2024!
Nestan Tsiskaridze's paper, Generalized Optimization Modulo Theories, was accepted to IJCAR 2024! Check out the extended version arxiv.org/abs/2404.16122
Haoze (Andrew) Wu has been recognized with the Centennial Teaching Assistant (CTA) Award!
Pei Huang's paper, Parallel Verification for δ-Equivalence of Neural Network Quantization, was accepted to SAIV2024!
Aina Niemetz and Mathias Preiner's paper, Scalable Bit-Blasting with Abstractions, was accepted to CAV2024!
Chuyue Sun and Ying Sheng's paper, Clover: Closed-Loop Verifiable Code Generation, was accepted to SAIV2024! Check out the preprint here: arxiv.org/abs/2310.17807
Haoze Wu's paper, Marabou 2.0: A Versatile Formal Analyzer of Neural Networks, was accepted to CAV2024! Check out the preprint here: arxiv.org/pdf/2401.14461
Alex Ozdemir's paper, Split Gröbner Bases for Satisfiability Modulo Finite Fields, was accepted to CAV2024! Check out the preprint here: eprint.iacr.org/2024/572
We are thrilled to share that Benjamin Przybocki, an undergrad in our lab, was awarded the Churchill Scholarship for a year of independent research at Cambridge and selected as a runner-up for the Computing Research Association (CRA) Outstanding Undergraduate Research Award!
Check out our new blog post by postdoc Min Wu about verified explainability of deep neural networks! centaur.stanford.edu/blog/2024/01/1… #VerifiedAI #AIExplainability
🎉 Exciting News! 🎉 Haoze (Andrew) Wu, an exceptional PhD student set to graduate soon, will be joining @AmherstCollege as an Assistant Professor in the Computer Science Department starting Fall 2024!
We are thrilled to share that a paper by our postdoc Pei Huang and others was just accepted to AAAI-24! You can check out Towards Efficient Verification of Quantized Neural Networks here: arxiv.org/abs/2312.12679 #AAAI24 #AIResearch #verification
Check out the new @cvc5_solver blog post by Amalee Wilson on distributed #SMTsolving using partitioning: cvc5.github.io/blog/2023/12/1…
Check out this blog from @VeridiseInc about Alex Ozdemir's work on Satisfiability Module Finite Fields. medium.com/veridise/satis…
Stay tuned for posts about the recent goings-on in the lab!
Summer Guan @triggerfunder
16 Followers 162 Following Trigger Consulting CEO @AI+Big Data 默默关注大模型 大数据圈内优秀人才 识别好公司和fake公司 一起为科技Starup 企业加油打气
Olivia Wang @oliviawpy2023
37 Followers 262 Following CSE PhD student @UCSC. Research interests in Human-Centered #XAI (#hcxai), Neurosymbolic AI & Law (#NeSy). Ex-Software Engineer. Views (and the dog) are my own
Abhinav Shantanam @AShantanam
41 Followers 255 Following
Matěj Kripner @MatejKripner
50 Followers 628 Following PhD student working on automated theorem proving and @leanprover applications, supervised by @straka_milan and @lifrordi; @climbuddy at night
kagura @kaguuuuuuuura
9 Followers 93 Following
Mike Allton | AI for ... @mike_allton
51K Followers 8K Following AI for Creators & Solopreneurs | Automate your biz, reclaim your time. Host @ The AI Hat Podcast. Learn how below! 👇
Xiangrong Bin @xrbin0
3 Followers 133 Following
Stanford Deliberative... @StanfordDDL
78 Followers 42 Following Stanford Deliberative Democracy Lab is devoted to research about democracy and public opinion obtained through Deliberative Polling®
Ankur @ankurparikh
120 Followers 653 Following Tell me what your problem is and I’ll show you how to make it more difficult.
Sarepio @SarepiobQlXGJ
3 Followers 63 Following
Thiago @thiagoalro
30 Followers 620 Following
Xizao Wang @wangxiz
45 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
cvc5 Solver @cvc5_solver
110 Followers 16 Following cvc5 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
tradernews.ai @tradernewsai
2K Followers 4K Following AI + MARKETS + NEWS THIS IS NOT INVESTMENT ADVICE
Pentagon @Pentagon674254
0 Followers 37 Following
Neil Fox @neilfox91
8K Followers 7K Following 🗳️Candidate for Florida House D46 Host of The Neil Fox Show 🎙️ | Championing small biz 🛍️ & community-driven solutions https://t.co/KHFghbVTBe
Zheqing (Bill) Zhu @ZheqingZhu
2K Followers 213 Following Founder and CEO, Pokee AI | ex-Head of Applied RL Group, Senior Staff TLM, Meta AI | PhD@Stanford
AI World News🤖💕 @TheWorldNews
56K Followers 11K Following The first rule of AI club is, We Don't Talk About AI Club! The second rule of AI Club is...... by ⤷ @_Christopher_
Jerome Ku @KuJerome
60 Followers 5K Following
Hongwei Yi @HongweiYi2
3K Followers 6K Following
Oliver Hennhöfer @OHennhoefer
382 Followers 5K Following statistics/ml, uncertainty quantification, anomaly detection, finance.
Omar Khattab @lateinteraction
25K Followers 3K Following Asst professor @MIT EECS & CSAIL (@nlp_mit). Author of https://t.co/VgyLxl0oa1 and https://t.co/ZZaSzaRaZ7 (@DSPyOSS). Prev: CS PhD @StanfordNLP. Research @Databricks.
Young @younqchan
330 Followers 5K Following Researcher working on Out-of-Distribution Generalizable Reasoning and AI Scientist from causality perspective.
Vanya BK @VanyaBk
35 Followers 1K Following
Simon Guo @simonguozirui
3K Followers 5K Following CS PhD student @Stanford | 🎓 @Berkeley_EECS | prev pre-training @cohere & built things at @ @anyscalecompute @nvidia
Chenhui Zhang @danielz2333
471 Followers 5K Following Engineering @googledeepmind | Prev. @mitidss @IllinoisCDS @IllinoisStat | Views are my own
Tianshuo Cong @TianshuoCong
160 Followers 510 Following Postdoc (Current) & Ph.D. & B.Eng. @Tsinghua_Uni. | Previously visiting Ph.D. @CISPA. | ML security, privacy, and safety.
Martin Blicha @MartinBlicha
2 Followers 87 Following
Alexander C @Alexand73481727
80 Followers 2K Following
Han Guo @HanGuo97
3K Followers 4K Following PhD Student @MIT_CSAIL | Past: @LTIatCMU @MITIBMLab @UNCNLP, @SFResearch, @BaiduResearch | Machine Learning, NLP.
クマムシ.exe @SugarHigh_bin
383 Followers 5K Following
Martin Nyx Brain @ciphernyx
839 Followers 480 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Adharsh Kamath @adharshkamath
448 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Clark Barrett @ClarkBarrett7
144 Followers 5 Following Professor (Research) in Computer Science at Stanford University
Ying Sheng @ying11231
12K Followers 731 Following @lmsysorg @sgl_project | Prev. @xAI @Stanford | Assist Prof @UCLA. (delayed) | Do it anyway | Live to fight another day
Kuldeep S. Meel @ksmeel
2K Followers 322 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
CAV @confCAV
799 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Martin Nyx Brain @ciphernyx
839 Followers 480 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
cvc5 Solver @cvc5_solver
110 Followers 16 Following cvc5 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Clark Barrett @ClarkBarrett7
144 Followers 5 Following Professor (Research) in Computer Science at Stanford University
Ying Sheng @ying11231
12K Followers 731 Following @lmsysorg @sgl_project | Prev. @xAI @Stanford | Assist Prof @UCLA. (delayed) | Do it anyway | Live to fight another day
Stanford University @Stanford
1.0M Followers 585 Following Our mission of discovery and learning is energized by a spirit of optimism and possibility that dates to our founding.Trends for United States
You might like
