@lab_v2 profile picture
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.

Joined September 2022
  • Tweets 167
  • Following 134
  • Followers 118
139 Photos and videos
Ufuk Topcu: Multi-Modal, Pre-Trained Models in Verifiable Sequential Dec... youtu.be/701Fo34FV_8?si=5qqh… via @YouTube

Ufuk Topcu: Multi-Modal, Pre-Trained Models in Verifiable Sequential...

This is from the Nov. 2023 ARO Metacognitive AI workshop - see http...

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

Assured Machine Learning with Visar Berisha (ASU - Metacog AI)

A Theoretically-Grounded Framework for Assured ML in High-Stakes Do...

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

Deep Distillation and ENN's with Milo Lin (UT Southwest Medical...

ENN is a promising new neurosymbolic architecture that uses a botto...

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

Neural Network Verification: an Interview with Taylor Johnson,...

How do we verify the output of a neural network? Taylor Johnson is...

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

Accountable LLM's (Tianlong Chen, MIT - Metacog AI)

Tianlong Chen is a postdoc at MIT who will soon be joining the facu...

youtube.com
1
67
Semi-Supervised and Self-Supervised Learning youtu.be/h-peTw8ba6I?si=ZNZX… via @YouTube

Semi-Supervised and Self-Supervised Learning

Short tutorial on semi-supervised and self-supervised learning.Ab...

youtube.com
52
Introduction to Abductive Inference youtu.be/YxAd6-F9-Js?si=dqCu… via @YouTube

Introduction to Abductive Inference

Abductive inference is a third form of inference distinct to induct...

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

Sergei Nirenburg: Mutual Trust in Human-AI Teams Relies on Metacogn...

This is from the Nov. 2023 ARO Metacognitive AI workshop - see http...

youtube.com
36
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
29
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
1
25
Christian Lebiere: An architectural approach to metacognition (Metacogni... youtu.be/0a3YPGKnGmM?si=9BMY… via @YouTube

Christian Lebiere: An architectural approach to metacognition...

This is from the Nov. 2023 ARO Metacognitive AI workshop - see http...

youtube.com
29
Intro to Binarized Neural Networks youtu.be/d9AeVyRzU5Q?si=HnVT… via @YouTube

Intro to Binarized Neural Networks

Introduction to binarized neural networks with Prof. Gerardo I. Sim...

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

Hua Wei: Trustworthy Decision Making in the Real World through...

This is from the Nov. 2023 ARO Metacognitive AI workshop - see http...

youtube.com
2
47
Interview with Zack Serlin, MIT Lincoln Laboratories: Formal methods for... youtu.be/LqQdcIiox7o?si=W0X1… via @YouTube

Interview with Zack Serlin, MIT Lincoln Laboratories: Formal methods...

Interview with Zack Serlin of MIT Lincoln Laboratories who speciali...

youtube.com
2
48
Reasoning Shortcuts youtu.be/AZEUQSn6BWk?si=1pBt… via @YouTube

Reasoning Shortcuts

This video describes reasoning shortcuts, a key issue when deployin...

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

5 Things to watch for in 2024 on the Neuro Symbolic Channel

Metacognition site: https://neurosymbolic.asu.edu/metacognition/AA...

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

Announcement: HybridAIMS workshop in Cyprus

For more information, please visit the HybridAIMS2024 website at ht...

youtube.com
50
PyReason Sim-to-Real Demo youtu.be/AHiSc0C_3mw?si=cNpR…

PyReason Sim-to-Real Demo

In this video, we show a policy represented in the open world tempo...

youtube.com
34
(Pt. 5) Inductive Logic Programming with LNN's youtu.be/eKuI5UU3agE?si=0zzk… via @YouTube

(Pt. 5) Inductive Logic Programming with LNN's

This video provides an overview of some work from IBM research on I...

youtube.com
40
Introduction to Symbol Grounding youtu.be/wP8EyQaC_uY?si=oEZE… by @gerrysimari

Introduction to Symbol Grounding

This talk introduces the symbol grounding problem (SGP) and discuss...

youtube.com
44
Load more