eyalroz / technion-iit-thesisLinks
A class for Technion IIT PhD/Masters theses - with a sample thesis using it
☆41Updated last month
Alternatives and similar repositories for technion-iit-thesis
Users that are interested in technion-iit-thesis are comparing it to the libraries listed below
Sorting:
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 5 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆203Updated last week
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆47Updated 9 months ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated 10 months ago
- Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning☆168Updated 3 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆171Updated 2 years ago
- ☆68Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆24Updated 2 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆286Updated 6 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- A hardware model checker for hyperproperties☆18Updated last year
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated last year
- Probabilistic Type Inference using Graph Neural Networks☆51Updated 2 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆341Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆11Updated last year
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Updated 6 years ago
- Automated Repair of Verilog Hardware Descriptions☆33Updated 8 months ago
- Python3 control flow graph generator☆204Updated 3 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.☆336Updated 2 years ago
- homepage for proFL☆23Updated 4 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- The probSAT SAT Solver☆23Updated 2 years ago
- Utilities used by the Deep Program Understanding team☆103Updated 2 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 3 months ago
- A generic parser and tool package for the BTOR2 format.☆42Updated last week
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆29Updated 6 years ago