Lab V2 at Arizona State · May 15, 2024 · 12:13 AM UTC

Lab V2 at Arizona State

139Media

Lab V2 at Arizona State@lab_v215 May 2024

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 Decision-Making (Metacog. AI)

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

youtube.com

100

Lab V2 at Arizona State · Apr 24, 2024 · 6:10 PM UTC

Lab V2 at Arizona State@lab_v224 Apr 2024

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

115

Lab V2 at Arizona State · Apr 18, 2024 · 5:23 PM UTC

Lab V2 at Arizona State@lab_v218 Apr 2024

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 Center)

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

youtube.com

Lab V2 at Arizona State · Apr 4, 2024 · 4:00 AM UTC

Lab V2 at Arizona State@lab_v24 Apr 2024

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

Lab V2 at Arizona State · Mar 27, 2024 · 9:20 PM UTC

Lab V2 at Arizona State@lab_v227 Mar 2024

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

Lab V2 at Arizona State · Mar 20, 2024 · 6:31 PM UTC

Lab V2 at Arizona State@lab_v220 Mar 2024

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

Lab V2 at Arizona State · Mar 14, 2024 · 12:40 PM UTC

Lab V2 at Arizona State@lab_v214 Mar 2024

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

Lab V2 at Arizona State · Mar 7, 2024 · 5:01 PM UTC

Lab V2 at Arizona State@lab_v27 Mar 2024

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 Metacognition (Metacognitive AI series)

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

youtube.com

Lab V2 at Arizona State · Feb 28, 2024 · 4:48 PM UTC

Lab V2 at Arizona State@lab_v228 Feb 2024

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

Lab V2 at Arizona State · Feb 28, 2024 · 4:48 PM UTC

Lab V2 at Arizona State@lab_v228 Feb 2024

Lab V2 at Arizona State · Feb 26, 2024 · 1:26 PM UTC

Lab V2 at Arizona State@lab_v226 Feb 2024

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

Christian Lebiere: An architectural approach to metacognition (Metacognitive AI series)

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

youtube.com

Lab V2 at Arizona State · Feb 19, 2024 · 1:30 PM UTC

Lab V2 at Arizona State@lab_v219 Feb 2024

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

Lab V2 at Arizona State · Feb 5, 2024 · 1:57 AM UTC

Lab V2 at Arizona State@lab_v25 Feb 2024

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

Lab V2 at Arizona State · Jan 20, 2024 · 7:57 PM UTC

Lab V2 at Arizona State@lab_v220 Jan 2024

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 for safe robotic control

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

youtube.com

Lab V2 at Arizona State · Jan 11, 2024 · 11:07 PM UTC

Lab V2 at Arizona State@lab_v211 Jan 2024

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

Reasoning Shortcuts

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

youtube.com

Lab V2 at Arizona State · Jan 4, 2024 · 3:43 PM UTC

Lab V2 at Arizona State@lab_v24 Jan 2024

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

Lab V2 at Arizona State · Dec 13, 2023 · 10:57 PM UTC

Lab V2 at Arizona State@lab_v213 Dec 2023

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