Lab V2 at Arizona State

167 posts

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 Katılım Eylül 2022

134 Takip Edilen120 Takipçiler

Lab V2 at Arizona State@lab_v2·15 May

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

YouTube

Română

Lab V2 at Arizona State@lab_v2·24 Nis

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

YouTube

English

112

Lab V2 at Arizona State@lab_v2·18 Nis

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

YouTube

English

Lab V2 at Arizona State@lab_v2·4 Nis

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

YouTube

English

Lab V2 at Arizona State@lab_v2·28 Mar

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

YouTube

English

Lab V2 at Arizona State@lab_v2·20 Mar

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

YouTube

English

Lab V2 at Arizona State@lab_v2·14 Mar

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

YouTube

English

Lab V2 at Arizona State@lab_v2·7 Mar

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

YouTube

English

Lab V2 at Arizona State@lab_v2·28 Şub

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

YouTube

English

Lab V2 at Arizona State@lab_v2·28 Şub

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

YouTube

English

Lab V2 at Arizona State@lab_v2·26 Şub

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

YouTube

English

Lab V2 at Arizona State@lab_v2·19 Şub

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

YouTube

English

Lab V2 at Arizona State@lab_v2·5 Şub

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

YouTube

English

Lab V2 at Arizona State@lab_v2·20 Oca

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

YouTube

English

Lab V2 at Arizona State@lab_v2·12 Oca

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

YouTube

English

Lab V2 at Arizona State@lab_v2·4 Oca

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

YouTube

English

Lab V2 at Arizona State@lab_v2·14 Ara

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