PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (NeurIPS 2024).
☆81Jan 23, 2025Updated last year
Alternatives and similar repositories for Lyapunov
Users that are interested in Lyapunov are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts for Lectures on Network Systems - Francesco Bullo☆16Oct 22, 2023Updated 2 years ago
- Repo to host book about Lagrangian Descriptors technique☆16Jul 6, 2023Updated 2 years ago
- ☆12Aug 29, 2022Updated 3 years ago
- ☆13Oct 11, 2023Updated 2 years ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆11Apr 17, 2024Updated last year
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 6 months ago
- G2ELin is an open-access power system linearization tool developed by Fadi Kelada, a PhD candidate at University of Grenoble Alpes and Gr…☆13Aug 19, 2024Updated last year
- ☆13Aug 13, 2025Updated 7 months ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆40Aug 1, 2024Updated last year
- The implementation of Meta-Pec☆12Sep 13, 2023Updated 2 years ago
- Computational Physics B at USTC, 2024 Fall.☆15Feb 25, 2026Updated last month
- This set of codes implements our NAPS paper "Reduced Optimal Power Flow Using Graph Neural Network". This work is under the open license:…☆14Feb 23, 2024Updated 2 years ago
- Pytorch implementation of Pocket2Drug: a generative deep learning model to predict binding drugs for ligand-binding sites.☆22May 19, 2022Updated 3 years ago
- Robot Reinforcement Learning on the Constraint Manifold☆63Nov 30, 2021Updated 4 years ago
- RLC4CLR employs curriculum learning to train a reinforcement learning controller (RLC) for a distribution system critical load restoratio…☆19Jul 3, 2025Updated 8 months ago
- L4DC2021 code repository☆14Apr 14, 2021Updated 4 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆72Aug 13, 2023Updated 2 years ago
- Open source multimodal OpenLKA dataset☆17Feb 13, 2026Updated last month
- EVQUARIUM is an evaluation tool that quantifies the accessibility of EV charging station locations using queueing and graph theory. Given…☆22Mar 1, 2026Updated 3 weeks ago
- ROS Pure-Pursuit Package for the F1/10 Racecar☆27Sep 15, 2021Updated 4 years ago
- Calibration tool for the EIDM car following model☆10Jul 30, 2024Updated last year
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 3 months ago
- ☆23May 14, 2024Updated last year
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Aug 12, 2021Updated 4 years ago
- A roundabout traffic conflict dataset☆14Jan 15, 2024Updated 2 years ago
- FMTX☆38Feb 23, 2026Updated last month
- This project applies Monte Carlo Tree Search (MCTS) to a simple grid world.☆10May 30, 2018Updated 7 years ago
- Reinforcement Learning + Open AI Gym/Gymnasium in Google's Colab.☆22Apr 24, 2025Updated 11 months ago
- ☆30Dec 22, 2024Updated last year
- Inverse Stochastic User Equilibrium with LOGIT assignment☆15Feb 22, 2024Updated 2 years ago
- data tutorial for i24motion data users☆11Sep 19, 2024Updated last year
- ROS Driver for PI-Hexapods☆15Aug 11, 2020Updated 5 years ago
- Pytorch official implementation for Imitating Unknown Policies via Exploration.☆14Oct 3, 2023Updated 2 years ago
- Website for Princeton's undergraduate reinforcement learning course☆14May 12, 2025Updated 10 months ago
- Your Universal Cellular Automata☆14Aug 31, 2025Updated 6 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Jul 27, 2024Updated last year
- A curated list of awesome Artificial Life simulators, papers and resources.☆13Dec 9, 2025Updated 3 months ago
- ☆22Dec 22, 2024Updated last year
- Teach a computer to play any game.☆10Updated this week