Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/imandra-ai/imandra-stats-experiments
Experiments combining Imandra with statistical or probabilistic models
https://github.com/imandra-ai/imandra-stats-experiments
formal-verification machine-learning sampling statistics
Last synced: 1 day ago
JSON representation
Experiments combining Imandra with statistical or probabilistic models
- Host: GitHub
- URL: https://github.com/imandra-ai/imandra-stats-experiments
- Owner: imandra-ai
- Created: 2019-07-15T16:59:46.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2021-01-16T14:04:02.000Z (about 4 years ago)
- Last Synced: 2024-11-22T00:48:49.653Z (2 months ago)
- Topics: formal-verification, machine-learning, sampling, statistics
- Language: Jupyter Notebook
- Homepage:
- Size: 4 MB
- Stars: 1
- Watchers: 16
- Forks: 0
- Open Issues: 0