reactive-systems / ml2

Related projects ⓘ

Alternatives and complementary repositories for ml2

• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆30Updated 8 months ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 2 years ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆41Updated 7 months ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆26Updated last year
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆32Updated 5 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆64Updated 7 months ago
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆33Updated 2 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆76Updated 2 years ago
• jar-ben / mustool
  ☆15Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated last year
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆42Updated 4 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆20Updated 2 years ago
• fangwenji / tacas23-wasim
  ☆12Updated last year
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆10Updated 5 months ago
• yuzeng2333 / autoGenILA
  Automatic generation of architecture-level models for hardware from its RTL design.
  ☆12Updated last year
• tomsons22 / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• Gy-Hu / E-Syn
  E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)
  ☆25Updated 3 months ago
• google-research / crossbeam
  ☆43Updated last year
• arminbiere / gimsatul
  ☆33Updated 3 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆15Updated last year
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆63Updated last month
• RodrigoToroIcarte / reward_machines
  ☆62Updated 8 months ago
• shaowei-cai-group / z3pp
  ☆47Updated 7 months ago
• asolarlez / sketch-backend
  ☆38Updated last month
• gipsyh / rIC3
  A high-performance implementation of the IC3/PDR algorithm in Rust.
  ☆15Updated last week