Popular GitHub Repositories for Hamilton Jacobi Reachability

Neural Network Verification Software Tool

Repository of the paper "Accelerating Transformer Inference for Translation via Parallel Decoding"

[ICLR 2024] The official implementation of "Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model"

Formal Verification of Neural Feedback Loops (NFLs)

Graph Neural Networks for Knowledge Graph Link Prediction (WSDM 2022) (Pytorch)

Quaternion Graph Neural Networks (ACML 2021) (Pytorch and Tensorflow)

Adding the Feature "Real World Path Direction" by tapping on Map. GoogleMap will give us the direction to that location from user location then click on "ARView" & you will get the real-world path direction. Also added "Reachability" for finding path in Google map. -- Also added .mlmodel for car-detection. Initially trained the model using Convolutional Neural Network in TensorFlow, then convert the .h5 output into .mlmodel. Use it in the application. please check : https://github.com/ashislaha/CarDetection-Keras & https://github.com/ashislaha/CarDetection-iOS for more details how to train a model. -- In ARFrame generates capturedImage which is the input to .mlmodel for detecting that car is present in the image or not. -- This project combines both ARKit & CoreML.

Continuous-Time/State/Action Fitted Value Iteration via Hamilton-Jacobi-Bellman (HJB)

Creating Knowledge Graphs and Productionalizing your RAG model with using Dagworks, FalkorDB, Langchain and OpenAI