neural-continuous-time-supermartingale-certificates
https://github.com/sumi-lab/neural-continuous-time-supermartingale-certificates
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.8%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: SUMI-lab
- License: mit
- Language: Python
- Default Branch: main
- Size: 400 KB
Statistics
- Stars: 3
- Watchers: 2
- Forks: 3
- Open Issues: 0
- Releases: 1
Metadata Files
README.md
Neural Continuous-Time Supermartingale Certificates
This repository contains code for the paper Neural Continuous-Time Supermartingale Certificates by Grigory Neustroev, Mirco Giacobbe, Anna Lukina, published in AAAI 2025. To cite this work you can use:
@inproceedings{neustroev2025neural,
title={Neural continuous-time supermartingale certificates},
author={Neustroev, Grigory and Giacobbe, Mirco and Lukina, Anna},
booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
volume={39},
number={26},
pages={27538--27546},
year={2025}
}
How to Install
In the paper, all experiments we run using Python 3.11.7 and the libraries from
the requirements file.
Please, download auto_LiRPA manually (we used v0.5.0, specifically
commit bfb7997)
and then either place in the auto_LiRPA subdirectory of this project, or
install it yourself.
How to Use
Run the GBM and Inverted Pendulum scripts. The data will be saved to .csv files (copies are included in the results directory). The columns are: random seed, runtime, verification result, final epoch number.
Contributors
 Greg Neustroev |
 Mirco Giacobbe |
 Anna Lukina |
Owner
- Name: SUMI Lab
- Login: SUMI-lab
- Kind: organization
- Location: Netherlands
- Website: https://annalukina.com/team/
- Repositories: 1
- Profile: https://github.com/SUMI-lab
Research projects by the members of Sequential Uncertainty Monitoring & Interpreptability Lab at TU Delft and collaborators
Citation (CITATION.cff)
cff-version: 1.2.0
title: Neural Continuous-Time Supermartingale Certificates
message: >-
If you use this software, please cite: (a) the original paper,
(b) this software using the metadata from this file.
type: software
authors:
- given-names: Grigory
family-names: Neustroev
email: g.neustroev@tudelft.nl
affiliation: Delft University of Technology, the Netherlands
orcid: 'https://orcid.org/0000-0002-7706-7778'
- given-names: Mirco
family-names: Giacobbe
email: m.giacobbe@bham.ac.uk
affiliation: University of Birmingham, UK
orcid: 'https://orcid.org/0000-0001-8180-0904'
- given-names: Anna
family-names: Lukina
email: a.lukina@tudelft.nl
affiliation: Delft University of Technology, the Netherlands
orcid: 'https://orcid.org/0000-0001-9525-0333'
repository-code: 'https://github.com/SUMI-lab/Neural-Continuous-Time-Supermartingale-Certificates'
abstract: >-
This software contains code for the paper _Neural Supermartingale Certificates for Reach-Stay-Avoidance in Continuous Time_
keywords:
- Neural supermartingale certificate
- Neural control
- Stochastic process theory
- Stochastic differential equations
- Reach-stay-avoidance
- Formal methods for neural networks
license: MIT
GitHub Events
Total
- Release event: 1
- Watch event: 1
- Public event: 1
- Push event: 6
- Fork event: 3
- Create event: 1
Last Year
- Release event: 1
- Watch event: 1
- Public event: 1
- Push event: 6
- Fork event: 3
- Create event: 1