eyalroz / technion-iit-thesis

Related projects ⓘ

Alternatives and complementary repositories for technion-iit-thesis

• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆83Updated 3 months ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆34Updated 3 weeks ago
• google-research / crossbeam
  ☆43Updated last year
• google-research-datasets / eth_py150_open
  A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…
  ☆29Updated 4 years ago
• neulab / incremental_tree_edit
  Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)
  ☆40Updated 3 years ago
• squaresLab / VarCLR
  VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
  ☆38Updated last year
• Jungyhuk / latent-execution
  ☆25Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• Kolkir / cppminer
  cppminer produces a code2seq compatible datasets from C++ code bases.
  ☆23Updated 4 years ago
• LearningOpt / pie
  ☆39Updated 4 months ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 3 years ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆41Updated 8 months ago
• eth-sri / TFix
  ☆66Updated 2 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆58Updated 3 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆13Updated 2 months ago
• google-research-datasets / great
  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
• parasj / contracode
  Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning
  ☆166Updated 2 years ago
• kasnerz / reffix
  A tool for fixing a BibTeX reference list using DBLP API
  ☆52Updated 9 months ago
• wasiahmad / AVATAR
  Official code of our work, AVATAR: A Parallel Corpus for Java-Python Program Translation.
  ☆53Updated 3 months ago
• princeton-nlp / DataMUX
  [NeurIPS 2022] DataMUX: Data Multiplexing for Neural Networks
  ☆59Updated last year
• facebookresearch / code-prediction-transformer
  This repo will contain replication package for the paper "Feeding Trees to Transformers for Code Completion"
  ☆100Updated 2 years ago
• dhil / inf-thesis-latex-cls
  A LaTeX Class for Informatics theses at The University of Edinburgh
  ☆31Updated last year
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 2 years ago
• neubig / coderx
  A highly sophisticated sequence-to-sequence model for code generation
  ☆40Updated 3 years ago
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆75Updated 4 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆36Updated 8 months ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆48Updated last year