cmake conan cpp cpp20 cpp23 dimensional-analysis dimensions isq library physical-quantities physical-units quantity quantity-manipulation safety si system-of-quantities system-of-units units units-of-measure units-of-measurement

data-science dsl learnability machine-learning safety static-analysis usability

classification hazards machine-learning nlp-machine-learning safety sdr

code efsa food foodex2 python safety streamlit

ai asic asil embedded-systems fpga functional-safety risc-v riscv safety security smart-sensors verilog

backdoor backdoor-attack backdoor-attacks backdoors clip contrastive-language-image-pretraining contrastive-learning deep deep-learning detection iclr iclr2025 outlier-detection poisoning-attack poisoning-defenses pytorch safety

cartpole casadi control gym pybullet quadcopter quadrotor reinforcement-learning robotics robustness safety symbolic

benchmark chemistry llm llms llms-benchmarking machine-learning materials-science safety

safety time-to-collision ttc two-dimensional