Science Score: 57.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
Found 3 DOI reference(s) in README -
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.0%) to scientific vocabulary
Repository
Repeatability package for AISoLA 2023
Basic Info
- Host: GitHub
- Owner: JuliaReach
- Language: Julia
- Default Branch: master
- Size: 41 KB
Statistics
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Repeatability package for AISoLA 2023
This is the repeatability evaluation (RE) package for the paper The inverse problem for neural networks presented at AISoLA 2023. To cite the work, you can use:
@inproceedings{ForetsS24,
author = {Marcelo Forets and
Christian Schilling},
title = {The inverse problem for neural networks},
booktitle = {{(A)ISoLA}},
series = {LNCS},
volume = {14380},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-46002-9\_14},
doi = {10.1007/978-3-031-46002-9\_14}
}
The code has since been integrated in the package NeuralNetworkReachability.jl.
How to use
First install the Julia compiler following the instructions here.
Once you have installed Julia, open a terminal in the examples/ folder and execute
shell
$ julia --project=. run_all.jl
to run all experiments. Alternatively, each experiment can be run individually. Check the file
run_all.jl to identify the relevant scripts.
Each experiment creates plot files in the current folder.
Parabola experiment
The neural network in parabola2d/parabola2d.network was created with the script
parabola2d/parabola2d_train.jl. This script results in different neural networks every time it is
run.
Owner
- Name: JuliaReach
- Login: JuliaReach
- Kind: organization
- Website: http://juliareach.com/
- Twitter: JuliaReach
- Repositories: 31
- Profile: https://github.com/JuliaReach
Reachability Computations for Dynamical Systems in Julia
Citation (CITATION.bib)
@inproceedings{ForetsS24,
author = {Marcelo Forets and
Christian Schilling},
title = {The inverse problem for neural networks},
booktitle = {{(A)ISoLA}},
series = {LNCS},
volume = {14380},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-46002-9\_14},
doi = {10.1007/978-3-031-46002-9\_14}
}
GitHub Events
Total
Last Year
Committers
Last synced: over 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| schillic | g****t@c****t | 3 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 10 months ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0