We recently released AircraftVerse, which is a dataset of over 27,000 diverse aircraft designs. Lots of opportunities for multimodal ML applications applied to cyber-physical systems!
Paper: https://t.co/VfuyPs45Of
Dataset: https://t.co/mICm2BnKrV
Github: https://t.co/hrNKmfPSkP
DESTION 2022 (Co-located with IEEE/ACM CPS-IoT WEEK 2022) is inviting submissions on “AI for Design Automation” and “Design Automation for AI”. All accepted papers will be published in IEEE proceedings.
https://t.co/pFz0m6fn6A
CFP: https://t.co/QGsn8ko06g
SRI is looking for a Computer Scientist to conduct R&D in #machinelearning, with a focus to improve trustworthiness, resilience and interpretability of #deeplearning techniques for cyber-physical systems and integration into high-assurance applications: https://t.co/3jiSWNvlvp
Our paper "On Need for Topology-Aware Generative Models for Manifold-Based Defenses" with @jhasomesh and Uyeong Jang accepted at #ICLR#ICLR2020#MachineLearning
https://t.co/Qwyxo6bggM
Detailed CFP at https://t.co/0S0LpdfXPb
NASA does not charge a registration fee to NFM participants. All interested individuals are welcome to attend, listen to the talks, and participate in discussions.
#formalmethods#machinelearning@WikiCFP@confCAV
NFM 2020 : 12th NASA Formal Methods Symposium https://t.co/kL4l8UbCED
Abstract : Dec 24, 2019
Full paper : Dec 30, 2019
Inviting cross-cutting research on formal methods, machine learning, control theory, robotics, .. #formalmethods#machinelearning@WikiCFP@confCAV
The data used to train AI algorithms can also poison them. As companies rush to adopt the tech, this could turn into the next security headache. https://t.co/qM3XiXTPO3
Our paper "Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms" is accepted at #AAAI20 (Oral) !
Draft at https://t.co/sVejSKyoJ4