jdnklau/fm-ml external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jdnklau/fm-ml

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jdnklau/fm-ml)

Close

jdnklau / fm-mlView on GitHubMore

• External links
• Readme badge

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

☆98Dec 21, 2021Updated 4 years ago

Alternatives and similar repositories for fm-ml

Users that are interested in fm-ml are comparing it to the libraries listed below

• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• Sophietje / Verification-Tool-Overview

  View on GitHub
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆31Dec 9, 2023Updated 2 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• hkustgz-zhang-lab / HW-Formal-Paper

  View on GitHub
  Recent papers related to hardware formal verification.
  ☆76Sep 20, 2023Updated 2 years ago
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• fangwenji / tacas23-wasim

  View on GitHub
  ☆13Jan 20, 2023Updated 3 years ago
• hwmcc / btor2tools

  View on GitHub
  A generic parser and tool package for the BTOR2 format.
  ☆47Sep 18, 2025Updated 5 months ago
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• gryan11 / cln2inv

  View on GitHub
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Jun 8, 2020Updated 5 years ago
• Moorvan / ChiselFV

  View on GitHub
  A Formal Verification Framework for Chisel
  ☆18Apr 9, 2024Updated last year
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 6 months ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• aman-goel / avr

  View on GitHub
  Reads a state transition system and performs property checking
  ☆90Sep 12, 2025Updated 5 months ago
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• arbrad / IC3ref

  View on GitHub
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆64May 31, 2015Updated 10 years ago
• Moorvan / RISCV-Formal-Chisel

  View on GitHub
  RISC-V Formal in Chisel
  ☆12Apr 9, 2024Updated last year
• ekiwi / open-source-formal-verification-for-chisel

  View on GitHub
  ☆10Oct 15, 2021Updated 4 years ago
• vardigroup / FourierSAT

  View on GitHub
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Sep 18, 2024Updated last year
• progirep / planet

  View on GitHub
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Feb 5, 2019Updated 7 years ago
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• NeuralNetworkVerification / Marabou

  View on GitHub
  ☆312Nov 2, 2025Updated 4 months ago
• temelmertcan / multgen

  View on GitHub
  Integer Multiplier Generator for Verilog
  ☆24Jul 4, 2025Updated 8 months ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• Gy-Hu / HWMCC24-benchmark

  View on GitHub
  Collection for submission (Hardware Model Checking Benchmark)
  ☆13Nov 9, 2025Updated 3 months ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• hkust-zhiyao / SpecLLM

  View on GitHub
  SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model
  ☆15Jan 29, 2024Updated 2 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• wongsingfo / paper-util

  View on GitHub
  Utilities for paper writing.
  ☆12Jan 11, 2026Updated last month
• AD1024 / veripy

  View on GitHub
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Apr 7, 2022Updated 3 years ago
• stanford-centaur / smt-switch

  View on GitHub
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆139Feb 24, 2026Updated last week
• stanford-centaur / pono

  View on GitHub
  Pono: A flexible and extensible SMT-based model checker
  ☆117Feb 5, 2026Updated 3 weeks ago
• d-kfmnn / amulet2

  View on GitHub
  AMulet 2. - A better AIG Multiplier Examination Tool
  ☆26Dec 23, 2025Updated 2 months ago
• tdb-alcorn / chisel-formal

  View on GitHub
  ☆24Feb 11, 2021Updated 5 years ago
• NeVerTools / pyNeVer

  View on GitHub
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Sep 18, 2025Updated 5 months ago