Lab V2 at Arizona State @lab_v2

Lab V2 is an ASU Lab focused on the intersection of symbolic AI and machine learning. Lab V2 is directed by @PauloShakASU. Tempe, AZ Joined September 2022

Tweets

167
Followers

122
Following

135
Likes

49

Lab V2 at Arizona State @lab_v2

a year ago

Ufuk Topcu: Multi-Modal, Pre-Trained Models in Verifiable Sequential Dec... youtu.be/701Fo34FV_8?si… via @YouTube

0 0 0 92 0

Lab V2 at Arizona State @lab_v2

a year ago

Assured Machine Learning with Visar Berisha (ASU - Metacog AI) youtu.be/amkU0TUQSuM?si… via @YouTube

0 0 0 106 0

Lab V2 at Arizona State @lab_v2

a year ago

Deep Distillation and ENN's with Milo Lin (UT Southwest Medical Center) youtu.be/S9B6ePLBDtA?si… via @YouTube

0 0 0 78 0

Lab V2 at Arizona State @lab_v2

a year ago

Neural Network Verification: an Interview with Taylor Johnson, Vanderbil... youtu.be/uxjTqBBLDLc?si… via @YouTube

0 0 0 80 0

Lab V2 at Arizona State @lab_v2

a year ago

Accountable LLM's (Tianlong Chen, MIT - Metacog AI) youtu.be/o1ttYW5DkhY?si… via @YouTube

0 0 1 56 0

Lab V2 at Arizona State @lab_v2

a year ago

Semi-Supervised and Self-Supervised Learning youtu.be/h-peTw8ba6I?si… via @YouTube

0 0 0 50 0

Lab V2 at Arizona State @lab_v2

2 years ago

Introduction to Abductive Inference youtu.be/YxAd6-F9-Js?si… via @YouTube

0 0 1 31 0

Lab V2 at Arizona State @lab_v2

2 years ago

Sergei Nirenburg: Mutual Trust in Human-AI Teams Relies on Metacognition... youtu.be/KmMe4QrQiRQ?si… via @YouTube

0 0 0 34 0

Lab V2 at Arizona State @lab_v2

2 years ago

Reasoning with PyReason youtu.be/WymywbKdywk?si… PyReason: Software for OWTL (AAAI-MAKE '23: arxiv.org/abs/2302.13482 PyReason as a semantic proxy for RL (IEEE ICSC '24): arxiv.org/abs/2310.06835

0 0 0 29 0

Lab V2 at Arizona State @lab_v2

2 years ago

Reasoning with PyReason youtu.be/WymywbKdywk?si… PyReason: Software for OWTL (AAAI-MAKE '23: arxiv.org/abs/2302.13482 PyReason as a semantic proxy for RL (IEEE ICSC '24): arxiv.org/abs/2310.06835

0 0 1 25 0

Lab V2 at Arizona State @lab_v2

2 years ago

Christian Lebiere: An architectural approach to metacognition (Metacogni... youtu.be/0a3YPGKnGmM?si… via @YouTube

0 0 0 28 0

Lab V2 at Arizona State @lab_v2

2 years ago

Intro to Binarized Neural Networks youtu.be/d9AeVyRzU5Q?si… via @YouTube

0 0 0 34 0

Lab V2 at Arizona State @lab_v2

2 years ago

Hua Wei: Trustworthy Decision Making in the Real World through Uncertain... youtu.be/YZLJlRvPrj4?si…

0 0 2 47 0

Lab V2 at Arizona State @lab_v2

2 years ago

Interview with Zack Serlin, MIT Lincoln Laboratories: Formal methods for... youtu.be/LqQdcIiox7o?si… via @YouTube

0 0 2 48 0

Lab V2 at Arizona State @lab_v2

2 years ago

Reasoning Shortcuts youtu.be/AZEUQSn6BWk?si… via @YouTube

0 0 0 41 0

Lab V2 at Arizona State @lab_v2

2 years ago

5 Things to watch for in 2024 on the Neuro Symbolic Channel youtu.be/cQLshwdRQk0?si… via @YouTube

0 0 1 29 0

Lab V2 at Arizona State @lab_v2

2 years ago

Announcement: HybridAIMS workshop in Cyprus youtu.be/xOS1INzdGqo?si… via @YouTube Submit to HybridAIMS: hybridaims.com and see us this summer in Cyprus!

0 0 0 50 0

Lab V2 at Arizona State @lab_v2

2 years ago

PyReason Sim-to-Real Demo youtu.be/AHiSc0C_3mw?si…

0 0 0 34 0

Lab V2 at Arizona State @lab_v2

2 years ago

(Pt. 5) Inductive Logic Programming with LNN's youtu.be/eKuI5UU3agE?si… via @YouTube

0 0 0 40 0

Lab V2 at Arizona State @lab_v2

2 years ago

Introduction to Symbol Grounding youtu.be/wP8EyQaC_uY?si… by @gerrysimari

0 0 0 44 0

Ryley Haag @RyleyHaag67247

29 Followers 2K Following

An Nguyen @ngdcan

5 Followers 207 Following

Luis Molina @luismolinaab

11 Followers 250 Following

Brianne Farrell @BFarrell88463

37 Followers 3K Following

Spencer Ozgur @spencer_phx

17 Followers 30 Following Columbia MFE '26 | ASU CS '24 Breaking markets, not keyboards 📈🚀

Wes @hurdimmunity

88 Followers 2K Following PPE, policy, risk, infosec, programming, CS, tech, society and religion Opinions mine - no institutional voice

Vishnu Vasanth Radja @VishnuRadja

63 Followers 709 Following Researcher in Threat Intelligence and Cyber Security.

Brooklynn @McTeckeRcnh7DB

1 Followers 97 Following Gods determine what you're going to be.

Emily @TeashawrJcas0l

29 Followers 3K Following

Ph.D. from Peking University (@PKU1898). Scientist at A*STAR (@astar_research). I am interested inductive logic programming and relational learning.

Kun Gao @Kwin_Gao

29 Followers 181 Following Ph.D. from Peking University (@PKU1898). Scientist at A*STAR (@astar_research). I am interested inductive logic programming and relational learning.

Lisors @LisorsKh8D3PP

27 Followers 2K Following

Emily @SirmpeeEMiNaic

41 Followers 3K Following

Emily @ScetturpEgUm

22 Followers 3K Following

Arash @infinity2357_

45 Followers 624 Following AI @ Sharif University of Technology

Rupam Bhattacharyya @rb_rupam

16 Followers 280 Following IIIT Bhagalpur

Thiothir @ThiothirMZOSBt

19 Followers 2K Following

Shirley @LordairlT9Ve1

22 Followers 3K Following

EvelynDorothea @9z4rAn7yFtB1li

68 Followers 7K Following

CHhannZ @chhannz

211 Followers 1K Following Researcher in game design & game AI. I post about books, computer science, game, inspiration. (https://t.co/seZJdfaGsU)

IrmaDierser @6wmoxkdJk71LS

63 Followers 7K Following

SusieMalachi @ii4cCezDgwc73

68 Followers 7K Following

Nicholas Hyperion @nickhistgeek

5 Followers 173 Following AI geek | History buff ️ | Always curious, occasionally serious

Shuvang Mishra @Shuvang2

0 Followers 8 Following Student && Learning to code

Shamanth R Nayak @nayak_shamanth

386 Followers 2K Following Dev @AWS | Grad @Concordia '24 | @MIT_MANIPAL '22 | Prev: @Cisco, @ULethbridge, @IBMResearch

Riccardo De Maria @rccrdmr

0 Followers 66 Following 🇮🇹Milano | AZ 🇺🇸

VernaBauer @5e6Y2Ao8g06mAZ

7 Followers 601 Following

Gilroy @terajimaat39485

0 Followers 429 Following

AKIMANA Joe Dassin @JoeAkimana67519

2 Followers 146 Following Bujumbura, Burundi

John Doe @Brain_n_Music

1 Followers 2K Following

AI, LLMs, RL || PhD-ing in CS @SCAI_ASU || @ASU & @TAMU Aggie Alumnus ||
Likes to wrestle with existential questions from time to time || Sporadically here;

Anil Murthy @Anil_MurthyB

54 Followers 1K Following AI, LLMs, RL || PhD-ing in CS @SCAI_ASU || @ASU & @TAMU Aggie Alumnus || Likes to wrestle with existential questions from time to time || Sporadically here;

Mouad JABRANE @MouaadJabrane

112 Followers 7K Following Remote Sensing and ML PhD Candidate @Iav_Hassan_II - Geomatics and Land surveying Engineer

Sang Dao @SangDao811932

104 Followers 1K Following

Tom Marciano @kidfrombklyn

58 Followers 307 Following

Mu__tton @tton_mu45601

12 Followers 1K Following

Jason Manuel @JasonAManuel

187 Followers 826 Following ASU graduate. Python + web programming + programming languages.

Abolfazl Karimi @KarimiAbolfazl

153 Followers 3K Following

Basant Babu Bhandari @BasantB52080659

42 Followers 1K Following just computer science and economics only

Frankie Ho @squander_xu

20 Followers 512 Following

Nafisa @naffytaffy_____

58 Followers 561 Following Welcome to the vlog

Shardul Dhaul @shardul_023

18 Followers 36 Following #mambaforever

niclar @niclar6

0 Followers 4 Following

Bir başkasına bir şey öğretmek onu senden almaz. Bildiklerimi paylaştığım için mutluluk duyuyorum. Çünkü bilgiye bir aşk ile bağlıyım.

Bilgehan Zeki @WildGenieZeki

503 Followers 3K Following Bir başkasına bir şey öğretmek onu senden almaz. Bildiklerimi paylaştığım için mutluluk duyuyorum. Çünkü bilgiye bir aşk ile bağlıyım.

Hisham Ali @hisham_ka

43 Followers 910 Following

politiciens hate acco... @ratapignata2025

593 Followers 303 Following « il n'y a pas de fin heureuse »

ericj333 @ericj3331

6 Followers 204 Following

AI Engineer in cyber security | Ex Amazon | Interested in Interpretability, Neurosymbolic AI, Indie app development, Web3

Carlos @bayesian_carlos

59 Followers 697 Following AI Engineer in cyber security | Ex Amazon | Interested in Interpretability, Neurosymbolic AI, Indie app development, Web3

Chocolate Girl @shelol249

1 Followers 60 Following

Stefan Hackmann @dhexus314

2 Followers 174 Following

Rosy @RosyCoaching

33K Followers 32K Following #AI #Ethics #DigitalMarketing #eLearning #EdTech #BigData #Cuisine MD Psychology @ipfconline1 Team

Digital Transformation Consulting
#AI #MachineLearning #DeepLearning
#DataScience #AIEthics
#EdgeComputing #Fintech
#DigitalMarketing

ipfconline @ipfconline1

139K Followers 108K Following Digital Transformation Consulting #AI #MachineLearning #DeepLearning #DataScience #AIEthics #EdgeComputing #Fintech #DigitalMarketing

divyagna @DivyagnaB

9 Followers 153 Following PhD student @ASU. Using Twitter to document research lessons and not so research thoughts. I like symbols.

AK @_akhaliq

425K Followers 3K Following AI research paper tweets, ML @Gradio (acq. by @HuggingFace 🤗) dm for promo ,submit papers here: https://t.co/UzmYN5YmrQ

@Dartmouth ISTS Fellow & @SAISHopkins Adjunct Prof., inter alia. Former @DARPA, @DEFCON CTF, etc. @DistrictCon, @hexacon_fr, @LABScon_io is CFP Review Boards

Perri Adams @perribus

7K Followers 993 Following @Dartmouth ISTS Fellow & @SAISHopkins Adjunct Prof., inter alia. Former @DARPA, @DEFCON CTF, etc. @DistrictCon, @hexacon_fr, @LABScon_io is CFP Review Boards

Gustav Šír @GustavSheer

107 Followers 151 Following AI/ML researcher @IDA_CTU

Yao Fu @Francis_YAO_

20K Followers 2K Following Research Scientist at @GoogleDeepMind I study complex, multimodal, interactive reasoning. Opinions are my own

Andrey Kurenkov @andrey_kurenkov

6K Followers 2K Following Making AI make games at @PlayAstrocade A "doctor" courtesy of @StanfordAILab 🤖 , co-creator of @Last_Week_in_AI & @gradientpub fan of fun, Russian (sort of)

Founded in 1979, AAAI is an international, nonprofit, scientific society devoted to promote research in, and responsible use of Artificial Intelligence.

AAAI @RealAAAI

30K Followers 93 Following Founded in 1979, AAAI is an international, nonprofit, scientific society devoted to promote research in, and responsible use of Artificial Intelligence.

Official Air Force Office of Scientific Research Twitter: #BasicResearch for @USAirForce @SpaceForceDoD @HQ_AFMC @AFResearchLab. Follow/retweet ≠ endorsement.

AFOSR @AFOSR

19K Followers 5K Following Official Air Force Office of Scientific Research Twitter: #BasicResearch for @USAirForce @SpaceForceDoD @HQ_AFMC @AFResearchLab. Follow/retweet ≠ endorsement.

CactusCon @CactusCon

4K Followers 95 Following Arizona's hacker con. CactusCon 14: Feb 6 & 7 2026 in beautiful Mesa, AZ. https://t.co/29lnaRVQy9 + LinkedIn, Bluesky, Mastodon

Comp neuro Ph.D. Virginia Tech NDNE lab. Neuroscientist, senior data engineer passionate about computational neuroscience and AGI. https://t.co/KXiniJWZ7a

ChinHuiChen @jcchinhui

280 Followers 2K Following Comp neuro Ph.D. Virginia Tech NDNE lab. Neuroscientist, senior data engineer passionate about computational neuroscience and AGI. https://t.co/KXiniJWZ7a

Bill Gates @BillGates

66.4M Followers 572 Following Sharing things I'm learning through my foundation work and other interests.

Senior Vice Provost @ASU • Dean & Professor @ASUEngineering • Mechanical Engineer • engineering education, research &innovation at scale, community partnerships

Kyle Squires @KyleSquires

1K Followers 701 Following Senior Vice Provost @ASU • Dean & Professor @ASUEngineering • Mechanical Engineer • engineering education, research &innovation at scale, community partnerships

Sebastian Thrun @SebastianThrun

80K Followers 16 Following CEO StealthStartup, Adjunct Prof at Stanford and GaTech

Dept of Stat and Data Sci at @Yale. Formerly @CMU_Stats, @ESPN, @univmiami, @FlaPanthers, @WestPoint_USMA. data science/statistics/education/sports/ice cream.

Brian Macdonald @bmacGTPM

3K Followers 958 Following Dept of Stat and Data Sci at @Yale. Formerly @CMU_Stats, @ESPN, @univmiami, @FlaPanthers, @WestPoint_USMA. data science/statistics/education/sports/ice cream.

Associate professor in @SEMTEatASU at Arizona State University. My lab conducts research on the control of robotic swarms.

Spring Berman @spring_berman

484 Followers 825 Following Associate professor in @SEMTEatASU at Arizona State University. My lab conducts research on the control of robotic swarms.

Allen Institute @AllenInstitute

66K Followers 3K Following Understanding life. Advancing health.

Vedant 🕊️ @JoshiVedant23

349 Followers 713 Following A human living with machines and teaching them to mimic humans!

FR/US/GB AI/ML Person, Director of Research at @GoogleDeepMind, Honorary Professor at @UCL_DARK, @ELLISforEurope Fellow. All posts are personal.

Edward Grefenstette @egrefen

42K Followers 864 Following FR/US/GB AI/ML Person, Director of Research at @GoogleDeepMind, Honorary Professor at @UCL_DARK, @ELLISforEurope Fellow. All posts are personal.

MS in Entrepreneurshi... @msei_asu

163 Followers 791 Following Master of Science in Entrepreneurship and Innovation at Arizona State University.

We're graduate students, postdocs, faculty and scientists at the cutting edge of artificial intelligence research.

Berkeley AI Research @berkeley_ai

225K Followers 367 Following We're graduate students, postdocs, faculty and scientists at the cutting edge of artificial intelligence research.

The nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv

On Mastodon: @ThePSF@fosstodon.org

Python Software Found... @ThePSF

686K Followers 127 Following The nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv On Mastodon: @[email protected]

Retired @DEFCON CTF org, @Shellphish Captain Emeritus, @ASU Prof, @angrdothorse hacker, @pwncollege sensei, @ACE_Inst Director.

[email protected] @Zardus

7K Followers 88 Following Retired @DEFCON CTF org, @Shellphish Captain Emeritus, @ASU Prof, @angrdothorse hacker, @pwncollege sensei, @ACE_Inst Director.

Baidu Research brings together top talent from around the world to focus on future-looking fundamental researches in #AI #deeplearning #machinelearning.

Baidu Research @BaiduResearch

66K Followers 129 Following Baidu Research brings together top talent from around the world to focus on future-looking fundamental researches in #AI #deeplearning #machinelearning.

Wes Herche @WesHerche

775 Followers 2K Following @ASU_SOS PhD, @Thunderbird MBA. Comments are my own. (like|retweet ≠ endorsement)

Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...

Jeff Dean @JeffDean

365K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...

Education & Entertain... @education_24x7

8K Followers 147 Following Education changes life

Nobel Laureate. Co-Founder & CEO @GoogleDeepMind - working on AGI. Solving disease @IsomorphicLabs. Trying to understand the fundamental nature of reality.

Demis Hassabis @demishassabis

488K Followers 146 Following Nobel Laureate. Co-Founder & CEO @GoogleDeepMind - working on AGI. Solving disease @IsomorphicLabs. Trying to understand the fundamental nature of reality.

Zachary Lipton @zacharylipton

63K Followers 2K Following Cofounder & CTO: @AbridgeHQ, Professor: CMU/@acmi_lab, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷

Assoc Prof. of Mobile/AR/VR Computer Systems Engineering at ASU School of Arts, Media and Engineering (AME) & Electrical, Computer and Energy Engineering (ECEE)

Robert LiKamWa @roblkw

450 Followers 365 Following Assoc Prof. of Mobile/AR/VR Computer Systems Engineering at ASU School of Arts, Media and Engineering (AME) & Electrical, Computer and Energy Engineering (ECEE)

Manager of Comms/Marketing, @asu_gsi, @ASU. Aussie / British National. Film enthusiast. Soccer player. Photographer. Thoughts are my own. Seeking #inspiration.

Oliver Dean @oliverkdean

76 Followers 60 Following Manager of Comms/Marketing, @asu_gsi, @ASU. Aussie / British National. Film enthusiast. Soccer player. Photographer. Thoughts are my own. Seeking #inspiration.

Oge Marques @ProfessorOge

1K Followers 3K Following Sr. Strategic Researcher Engagement Manager at NVIDIA ◼︎Affiliate Professor at FAU ◼︎Book author & book series editor

Lise Getoor @lgetoor

374 Followers 10 Following

Sibylle Hess @siby@si... @Ilsebyl

445 Followers 282 Following Dada Mining, Derp Learning @TUeindhoven, she/her

Cognitive Engineering and Databases research group at Universidad Nacional del Sur--CONICET, Bahía Blanca, Argentina

Gerardo I. Simari
Maria Vanina Martinez

CEDB UNS-CONICET @CEDB_Bahia

24 Followers 64 Following Cognitive Engineering and Databases research group at Universidad Nacional del Sur--CONICET, Bahía Blanca, Argentina Gerardo I. Simari Maria Vanina Martinez

Chitta Baral @cbaral

397 Followers 24 Following Chitta is a Professor in Computer Science & Engineering at the Arizona State University, USA.

Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad

Sumit Gulwani @SumitGulwani

2K Followers 326 Following Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad

Geoffrey Hinton @geoffreyhinton

498K Followers 28 Following deep learning

Scientific Python @SciPyTip

209K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.

#AI,#innovation & #tech; @imperialcollege PhD; @MIT MBA;@mitsloan; CS @inf_ufrgs #neurosymbolicAI pioneer #AIStrategy Personal tweets.

Luis Lamb @luislamb

4K Followers 3K Following #AI,#innovation & #tech; @imperialcollege PhD; @MIT MBA;@mitsloan; CS @inf_ufrgs #neurosymbolicAI pioneer #AIStrategy Personal tweets.

The creators and developers of RDFox, a high performance knowledge graph and semantic reasoning engine. https://t.co/AmHBorZmuz

oxfordsemantic @oxfordsemantic

2K Followers 2K Following The creators and developers of RDFox, a high performance knowledge graph and semantic reasoning engine. https://t.co/AmHBorZmuz

Jay Thiagarajan @jjayaram7

371 Followers 897 Following Machine Learning Researcher. Science Enthusiast. Poetry Lover. "The creative adult is the child who survived"

Visiting Faculty @ Google DeepMind | Associate Professor for Robotics and Machine Learning at Arizona State University. Director of Interactive Robotics Lab.

Heni Ben Amor @asurobot

1K Followers 471 Following Visiting Faculty @ Google DeepMind | Associate Professor for Robotics and Machine Learning at Arizona State University. Director of Interactive Robotics Lab.

TMVGrant @TMVGrant

379 Followers 2K Following Arizona State University Engineering Media Relations Consultant, US Army Veteran, Towson and UNLV Faculty Mom

Associate Director of Research, Center for Cybersecurity & Trusted Foundations @asu_gsi | PMP | Cybersecurity research, education, operations, coffee.

Jackie LeFevers @jackie_lef

481 Followers 345 Following Associate Director of Research, Center for Cybersecurity & Trusted Foundations @asu_gsi | PMP | Cybersecurity research, education, operations, coffee.

End to end CUDA accelerated #datascience libraries built on @apachearrow, scaled with @dask_dev & Dask-SQL for ETL, ML, graph analytics, and DL preprocessing

RAPIDS AI @RAPIDSai

13K Followers 168 Following End to end CUDA accelerated #datascience libraries built on @apachearrow, scaled with @dask_dev & Dask-SQL for ETL, ML, graph analytics, and DL preprocessing

Theatre Professor @ASU, experimental theatre, art+science+technology, robotics/AI, religion, theory/philosophy, narrative, disinformation. https://t.co/45sUtbxXjA

Lance Gharavi @lancegharavi

611 Followers 545 Following Theatre Professor @ASU, experimental theatre, art+science+technology, robotics/AI, religion, theory/philosophy, narrative, disinformation. https://t.co/45sUtbxXjA

Pauline Jewett @paulinejewett

192 Followers 248 Following Portfolio Manager @II_ASU; PMP; singer, wife, mother, nerd, baker; opinions my own

Srijan Kumar - Lighth... @srijankedia

4K Followers 1K Following Cofounder Lighthouz AI (YC S24) - Building AI agents | Ex-Google, Stanford, CMU, UMD, IIT | Forbes u30 | NSF CAREER

Professor of Computer Science, author of 'Neural-Symbolic Learning Systems', founder of Cognitive Intelligence, #Neurosymbolic #AI

Artur d'Avila Garcez @AvilaGarcez

2K Followers 978 Following Professor of Computer Science, author of 'Neural-Symbolic Learning Systems', founder of Cognitive Intelligence, #Neurosymbolic #AI