eyalroz / technion-iit-thesis
A class for Technion IIT PhD/Masters theses - with a sample thesis using it
☆38Updated 4 months ago
Alternatives and similar repositories for technion-iit-thesis:
Users that are interested in technion-iit-thesis are comparing it to the libraries listed below
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated last year
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Updated 3 years ago
- General-purpose program synthesiser☆37Updated 2 months ago
- ☆25Updated 3 years ago
- Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning☆166Updated 3 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆76Updated 5 years ago
- ☆66Updated 2 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- This repo will contain replication package for the paper "Feeding Trees to Transformers for Code Completion"☆100Updated 2 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- ☆20Updated 2 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆55Updated 2 months ago
- An curated list of papers on program synthesis.☆68Updated 5 years ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆33Updated 9 months ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆31Updated last year
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 8 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆25Updated 4 years ago
- ☆42Updated 6 months ago
- Deepcoder paper implementation☆113Updated last year
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆24Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆12Updated 5 years ago
- Official code of our work, AVATAR: A Parallel Corpus for Java-Python Program Translation.☆53Updated 5 months ago