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
- Tweets167
- Following134
- Followers117
- Likes49
Ufuk Topcu: Multi-Modal, Pre-Trained Models in Verifiable Sequential Dec... youtu.be/701Fo34FV_8?si=5qqh… via @YouTube
Assured Machine Learning with Visar Berisha (ASU - Metacog AI) youtu.be/amkU0TUQSuM?si=CnSI… via @YouTube
Deep Distillation and ENN's with Milo Lin (UT Southwest Medical Center) youtu.be/S9B6ePLBDtA?si=oAs2… via @YouTube
Neural Network Verification: an Interview with Taylor Johnson, Vanderbil... youtu.be/uxjTqBBLDLc?si=e7Ko… via @YouTube
Accountable LLM's (Tianlong Chen, MIT - Metacog AI) youtu.be/o1ttYW5DkhY?si=4OT4… via @YouTube
Semi-Supervised and Self-Supervised Learning youtu.be/h-peTw8ba6I?si=ZNZX… via @YouTube
Introduction to Abductive Inference youtu.be/YxAd6-F9-Js?si=dqCu… via @YouTube
Sergei Nirenburg: Mutual Trust in Human-AI Teams Relies on Metacognition... youtu.be/KmMe4QrQiRQ?si=1RCr… via @YouTube
Reasoning with PyReason youtu.be/WymywbKdywk?si=gfKP…
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
Reasoning with PyReason youtu.be/WymywbKdywk?si=gfKP…
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
Christian Lebiere: An architectural approach to metacognition (Metacogni... youtu.be/0a3YPGKnGmM?si=9BMY… via @YouTube
Hua Wei: Trustworthy Decision Making in the Real World through Uncertain... youtu.be/YZLJlRvPrj4?si=UGep…
Interview with Zack Serlin, MIT Lincoln Laboratories: Formal methods for... youtu.be/LqQdcIiox7o?si=W0X1… via @YouTube
5 Things to watch for in 2024 on the Neuro Symbolic Channel youtu.be/cQLshwdRQk0?si=w1ZZ… via @YouTube
Announcement: HybridAIMS workshop in Cyprus youtu.be/xOS1INzdGqo?si=0BWL… via @YouTube
Submit to HybridAIMS: hybridaims.com/ and see us this summer in Cyprus!
(Pt. 5) Inductive Logic Programming with LNN's youtu.be/eKuI5UU3agE?si=0zzk… via @YouTube
