Machine Learning for Mathematics and Logics
☆16Apr 1, 2025Updated last year
Alternatives and similar repositories for ml2
Users that are interested in ml2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- Repository of benchmarks for SYNTCOMP☆14Mar 20, 2026Updated 3 weeks 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
- A simple python implementation of a DFA.☆23May 10, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆39May 14, 2024Updated last year
- AIGER And-Inverter-Graph Library☆100Feb 17, 2026Updated last month
- This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".☆25Jul 12, 2023Updated 2 years ago
- Forked robosuite for LASER project☆12Jan 8, 2021Updated 5 years ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆33Feb 8, 2026Updated 2 months ago
- ☆13Feb 5, 2025Updated last year
- Code for the robot-assisted feeding project at EmPRISE Lab☆28Updated this week
- Policy learning of in-hand manipulation. Proximal policy optimization trains the Allegro hand to learn a stabilizing grasp☆14Feb 5, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- MICCAI 2023 Challenges ：STS-基于2D 全景图像的牙齿分割任务 初赛第一 复赛第四方案分享☆24Sep 22, 2023Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Aug 30, 2023Updated 2 years ago
- Examples for the VSRL-Framework☆11Sep 17, 2025Updated 6 months ago
- Automatically exported from code.google.com/p/edlut☆15Mar 15, 2023Updated 3 years ago
- Parallelized Cross Entropy Method☆14Jul 26, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Overleaf私有化部署(支持无AVX指令集, 兼容性好), Dockerfile构建了完整版的sharelatex镜像, 包含了全部需要的texlive包☆41Feb 15, 2026Updated last month
- Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing☆15Mar 6, 2021Updated 5 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 5 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
- ☆20Mar 31, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Oct 15, 2021Updated 4 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 6 years ago
- ☆10Oct 28, 2024Updated last year
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated 2 years ago
- ☆22Mar 12, 2026Updated 3 weeks ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 4 years ago
- ☆14Jan 11, 2021Updated 5 years ago