Machine Learning for Mathematics and Logics
☆16Apr 1, 2025Updated 11 months ago
Alternatives and similar repositories for ml2
Users that are interested in ml2 are comparing it to the libraries listed below
Sorting:
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Dec 21, 2025Updated 3 months ago
- The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…☆31Aug 16, 2023Updated 2 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- Problems and Results of IWLS 2023 Programming Contest☆17Apr 12, 2025Updated 11 months ago
- AIGER And-Inverter-Graph Library☆98Feb 17, 2026Updated last month
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆32Feb 8, 2026Updated last month
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Code for the robot-assisted feeding project at EmPRISE Lab☆28Mar 11, 2026Updated last week
- Policy learning of in-hand manipulation. Proximal policy optimization trains the Allegro hand to learn a stabilizing grasp☆13Feb 5, 2024Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆42Jul 17, 2024Updated last year
- ☆33Dec 2, 2023Updated 2 years ago
- 吉林大学编译原理课程设计——编译器实现☆15Feb 9, 2023Updated 3 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- MICCAI 2023 Challenges ：STS-基于2D 全景图像的牙齿分割任务 初赛第一 复赛第四方案分享☆24Sep 22, 2023Updated 2 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Deep Reinforcement Learning with LTL goals.☆10May 19, 2020Updated 5 years ago
- Examples for the VSRL-Framework☆11Sep 17, 2025Updated 6 months ago
- Automatically exported from code.google.com/p/edlut☆14Mar 15, 2023Updated 3 years ago
- Allegro hand controller package which works with ROS Noetic.☆24May 9, 2024Updated last year
- This repository is a version of VINS-Fusion with gpu acceleration for OpenCV 4.☆17Aug 2, 2021Updated 4 years ago
- ☆19Jan 3, 2024Updated 2 years ago
- Implementation of a simple genetic algorithm designed to solve the Traveling Salesman Problem, using ncurses to visualize the graph.☆11Nov 23, 2017Updated 8 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆20Jan 20, 2026Updated 2 months ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- Meta RL codebase for Unstable Baselines☆22Dec 6, 2022Updated 3 years ago
- ☆20Feb 27, 2026Updated 3 weeks ago
- ☆10Oct 28, 2024Updated last year
- RAD: Reinforcement Learning with Augmented Data (code for procgen experiments)☆18Mar 29, 2021Updated 4 years ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated last year
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 10 months ago
- ☆20Mar 12, 2026Updated last week
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 4 years ago