# jdnklau/fm-ml

<https://repo.masters-masters.com/en/repos/jdnklau/fm-ml>

[Home](https://repo.masters-masters.com/en) › [jdnklau](https://repo.masters-masters.com/en/owners/jdnklau) › [fm-ml](https://repo.masters-masters.com/en/repos/jdnklau/fm-ml)

jdnklau/fm-ml has 103 stars on GitHub. Its RepoMasters card: Prototype tier. Collection of resources for research concerning Machine Learning and Formal…

| Field | Value |
| --- | --- |
| Owner | [jdnklau](https://repo.masters-masters.com/en/owners/jdnklau) |
| Stars | 103 |
| Forks | 12 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2020 |
| Topics | machine-learning, formal-methods, formal-verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [jdnklau/fm-ml](https://github.com/jdnklau/fm-ml) |

## Repository

Collection of resources for research concerning Machine Learning and Formal Methods.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in TeX

- [monaen/HKU-Thesis-Template · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/monaen/HKU-Thesis-Template)
- [andy123t/latex-templates · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/andy123t/latex-templates)
- [SuikaXhq/seu-bachelor-thesis-2022 · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/SuikaXhq/seu-bachelor-thesis-2022)
- [robert-strandh/LispOS · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/robert-strandh/LispOS)
- [conal/talk-2014-bayhac-denotational-design · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/conal/talk-2014-bayhac-denotational-design)
- [davidcarlisle/dpctex · ★ 103 · TeX · Prototype](https://repo.masters-masters.com/en/repos/davidcarlisle/dpctex)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.