no code implementations • 6 Jan 2024 • Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing Herbert Song
Since neurosymbolic AI combines the advantages of both symbolic and sub-symbolic AI, this survey explores how neurosymbolic applications can ease the V&V process.
1 code implementation • 29 Jul 2023 • Ke Feng, Dahai Liu, Yongxin Liu, Hong Liu, Houbing Song
The current National Airspace System (NAS) is reaching capacity due to increased air traffic, and is based on outdated pre-tactical planning.