eyalroz / technion-iit-thesis
A class for Technion IIT PhD/Masters theses - with a sample thesis using it
☆39Updated this week
Alternatives and similar repositories for technion-iit-thesis:
Users that are interested in technion-iit-thesis are comparing it to the libraries listed below
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆42Updated 2 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆66Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning☆165Updated 3 years ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆11Updated 5 years ago
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆172Updated 2 years ago
- MARNNs Can Learn Generalized Dyck Languages☆10Updated 5 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 10 months ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆33Updated 10 months ago
- Pono: A flexible and extensible SMT-based model checker☆92Updated 2 weeks ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 8 months ago
- ☆25Updated 3 years ago
- An advanced header-only exact synthesis library☆24Updated 2 years ago
- CTL (Computation Tree Logic) SAT solver☆15Updated 5 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Updated 3 years ago
- A hardware model checker for hyperproperties☆18Updated 8 months ago
- CoreIR Symbolic Analyzer☆64Updated 4 years ago
- Python version of tools to work with AIG formatted files☆10Updated 9 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- ☆34Updated 5 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago