Lab V2 at Arizona State

Lab V2 is an ASU Lab focused on the intersection of symbolic AI and machine learning. Lab V2 is directed by @PauloShakASU.

[Lab V2 at Arizona State @lab_v2]

Ufuk Topcu: Multi-Modal, Pre-Trained Models in Verifiable Sequential Dec... https://t.co/oalue1f0pw via @YouTube

[Lab V2 at Arizona State @lab_v2]

Assured Machine Learning with Visar Berisha (ASU - Metacog AI) https://t.co/gEdwi58o4Z via @YouTube

[Lab V2 at Arizona State @lab_v2]

Deep Distillation and ENN's with Milo Lin (UT Southwest Medical Center) https://t.co/n3ghCUx4V9 via @YouTube

[Lab V2 at Arizona State @lab_v2]

Neural Network Verification: an Interview with Taylor Johnson, Vanderbil... https://t.co/59azT8m8xI via @YouTube

[Lab V2 at Arizona State @lab_v2]

Accountable LLM's (Tianlong Chen, MIT - Metacog AI) https://t.co/zfUKvIKYZ6 via @YouTube

[Lab V2 at Arizona State @lab_v2]

Semi-Supervised and Self-Supervised Learning https://t.co/JhEZLmZK9x via @YouTube

[Lab V2 at Arizona State @lab_v2]

Introduction to Abductive Inference https://t.co/WkOBIesg6N via @YouTube

[Lab V2 at Arizona State @lab_v2]

Sergei Nirenburg: Mutual Trust in Human-AI Teams Relies on Metacognition... https://t.co/37zJDGsTCm via @YouTube

[Lab V2 at Arizona State @lab_v2]

Reasoning with PyReason https://t.co/VOkBqtw6OU

PyReason: Software for OWTL (AAAI-MAKE '23: https://t.co/vIhyMVl6vf
PyReason as a semantic proxy for RL (IEEE ICSC '24): https://t.co/DtjRMzxkTg

[Lab V2 at Arizona State @lab_v2]

Reasoning with PyReason https://t.co/VOkBqtw6OU

PyReason: Software for OWTL (AAAI-MAKE '23: https://t.co/vIhyMVl6vf
PyReason as a semantic proxy for RL (IEEE ICSC '24): https://t.co/DtjRMzxkTg

[Lab V2 at Arizona State @lab_v2]

Christian Lebiere: An architectural approach to metacognition (Metacogni... https://t.co/3gavj9173N via @YouTube

[Lab V2 at Arizona State @lab_v2]

Intro to Binarized Neural Networks https://t.co/XA5XxQ0uEi via @YouTube

[Lab V2 at Arizona State @lab_v2]

Hua Wei: Trustworthy Decision Making in the Real World through Uncertain... https://t.co/9qnJi9TnVv

[Lab V2 at Arizona State @lab_v2]

Interview with Zack Serlin, MIT Lincoln Laboratories: Formal methods for... https://t.co/isPqxjRIIX via @YouTube

[Lab V2 at Arizona State @lab_v2]

Reasoning Shortcuts https://t.co/JJO7Jolm4z via @YouTube

[Lab V2 at Arizona State @lab_v2]

5 Things to watch for in 2024 on the Neuro Symbolic Channel https://t.co/6Eo0GbzpBy via @YouTube

[Lab V2 at Arizona State @lab_v2]

Announcement: HybridAIMS workshop in Cyprus https://t.co/gCAhcwPUc8 via @YouTube

Submit to HybridAIMS: https://t.co/FNNxnT2cbH and see us this summer in Cyprus!

[Lab V2 at Arizona State @lab_v2]

PyReason Sim-to-Real Demo https://t.co/gcoX1mZmod

[Lab V2 at Arizona State @lab_v2]

(Pt. 5) Inductive Logic Programming with LNN's https://t.co/Krx36yaeHd via @YouTube

[Lab V2 at Arizona State @lab_v2]

Introduction to Symbol Grounding https://t.co/wmU34Ivx7n by @gerrysimari