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:
- Automatic learning of (linear and nonlinear) control functions for nonlinear dynamical systems with stability certificates. The stability…☆14Jan 9, 2025Updated last year
- Scripts for Lectures on Network Systems - Francesco Bullo☆16Oct 22, 2023Updated 2 years ago
- A Python package for SVD-based Reduced Order Modeling of massive datasets, made easy.☆22Updated this week
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆13Apr 17, 2024Updated 2 years ago
- ☆13Aug 13, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Pytorch implementation of Pocket2Drug: a generative deep learning model to predict binding drugs for ligand-binding sites.☆22May 19, 2022Updated 4 years 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…☆46Apr 13, 2026Updated 5 months ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated last year
- ☆12Jun 4, 2024Updated 2 years ago
- 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
- This repository is different from any other repository, because in this repository, all the projects have videos that you can watch on Yo…☆12Oct 8, 2024Updated last year
- ☆14Oct 26, 2022Updated 3 years ago
- Modelica library allowing low-order grey-box modelling of buildings for model predictive controllers (MPC) or aggregators.☆39Dec 9, 2022Updated 3 years ago
- ☆10Apr 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Graph4nlp is the library for the easy use of Graph Neural Networks for NLP. Welcome to visit our DLG4NLP website (https://dlg4nlp.github.…☆14Nov 25, 2023Updated 2 years ago
- [ICML 2025] Official Github Repo for WOMD-Reasoning Dataset☆46Nov 27, 2025Updated 9 months ago
- Starter project configuration for my COMP 303 Software Development course at McGill University☆13Sep 26, 2022Updated 3 years ago
- A roundabout traffic conflict dataset☆15Jan 15, 2024Updated 2 years ago
- This is the code implementation of the Neural ordinary differential equations-based Lyapunov-Barrier Actor-Critic (NLBAC)☆17Sep 4, 2024Updated 2 years ago
- ROS Driver for PI-Hexapods☆15Aug 11, 2020Updated 6 years ago
- data tutorial for i24motion data users☆12Sep 19, 2024Updated 2 years ago
- Inverse Stochastic User Equilibrium with LOGIT assignment☆15Feb 22, 2024Updated 2 years ago
- Website for Princeton's undergraduate reinforcement learning course☆15May 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- cuvimaker is an online editor of cv maker, SEO-friendly made in Astro using vue components and tailwind. This project is coded in typescr…☆19Jan 17, 2024Updated 2 years ago
- A wrapper and an OCaml library to control 'perf' from the program being profiled.☆16Jul 3, 2025Updated last year
- A curated list of awesome Artificial Life simulators, papers and resources.☆18Dec 9, 2025Updated 9 months ago
- various tools to download, convert and process the full text of scientific articles☆10Apr 2, 2024Updated 2 years ago
- Experimental library using modular implicits☆17Sep 25, 2023Updated 2 years ago
- Hiroki Sayama's artificial chemistry model -> http://bingweb.binghamton.edu/~sayama/SwarmChemistry/☆17Jul 25, 2022Updated 4 years ago
- Implementations of 3D metrics for object detection☆10Jun 16, 2023Updated 3 years ago
- A VS Code extension to ease log reading and analysis☆11Jan 23, 2024Updated 2 years ago
- Manim animations for Youtube and teaching☆10Mar 11, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Transient Stability Analysis of Networked Microgrids Using Rapid Neural Lyapunov Method☆17Sep 13, 2023Updated 3 years ago
- Machine learning for power system stability analysis☆18Feb 24, 2022Updated 4 years ago
- ☆13Feb 26, 2023Updated 3 years ago
- This repository demonstrates how to fine-tune the Google Gemma 2 2B model to improve its performance on Japanese instruction-following ta…☆12Aug 11, 2024Updated 2 years ago
- G2ELin is an open-access power system linearization tool developed by Fadi Kelada, a PhD candidate at University of Grenoble Alpes and Gr…☆17Updated this week
- This repository contains the simulation code for the paper Unified Decentralized Small-Signal Stability Criterion for Grid-Connected Conv…☆18Dec 20, 2025Updated 9 months ago
- Official repository for the "Multiple wavefield solutions in physics-informed neural networks using latent representation" paper.☆16May 1, 2025Updated last year