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: 8 months 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 (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2021-01-16T14:04:02.000Z (over 5 years ago)
- Last Synced: 2025-01-22T15:26:32.046Z (over 1 year ago)
- Topics: formal-verification, machine-learning, sampling, statistics
- Language: Jupyter Notebook
- Homepage:
- Size: 4 MB
- Stars: 1
- Watchers: 16
- Forks: 0
- Open Issues: 0