An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by tech-srl

A curated list of projects in awesome lists by tech-srl .

https://github.com/tech-srl/code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

code code2vec distributed learning of representations technion

Last synced: 16 May 2025

https://github.com/tech-srl/code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

code code2seq from generating iclr2019 of representations sequences structured

Last synced: 12 Apr 2025

https://github.com/tech-srl/how_attentive_are_gats

Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)

are attention attentive gat gatv2 graph graph-attention-networks graph-neural-networks how networks pytorch

Last synced: 05 Apr 2025

https://github.com/tech-srl/rasp

An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"

Last synced: 06 Apr 2025

https://github.com/tech-srl/nero

Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"

Last synced: 20 Dec 2024

https://github.com/tech-srl/bottleneck

Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"

bottleneck gnns graph networks neural of on over-squashing oversquashing the

Last synced: 14 Apr 2025

https://github.com/tech-srl/slm-code-generation

TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)

anycodegen code codegen icml2020 language models source structural

Last synced: 14 Apr 2025

https://github.com/tech-srl/lstar_extraction

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Last synced: 14 Apr 2025

https://github.com/tech-srl/esh

statistical similarity of binaries (Esh)

Last synced: 14 Apr 2025

https://github.com/tech-srl/layer_norm_expressivity_role

Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)

attention layer-normalization layernorm transformers

Last synced: 14 Apr 2025

https://github.com/tech-srl/c3po

Code for the paper "A Structural Model for Contextual Code Changes"

c3po editcompletions programming-language

Last synced: 14 Apr 2025

https://github.com/tech-srl/weighted_lstar

implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019

Last synced: 14 Apr 2025

https://github.com/tech-srl/adversarial-examples

Code for the paper: "Adversarial Examples for Models of Code"

Last synced: 14 Apr 2025

https://github.com/tech-srl/rasp-exps

Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"

Last synced: 14 Apr 2025

https://github.com/tech-srl/prime

Last synced: 14 Apr 2025

https://github.com/tech-srl/safe

SAFE static analysis tools

Last synced: 14 Apr 2025

https://github.com/tech-srl/differential

differential

Last synced: 14 Apr 2025

https://github.com/tech-srl/counting_dimensions

demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"

Last synced: 14 Apr 2025

https://github.com/tech-srl/id2vec

Last synced: 14 Apr 2025

https://github.com/tech-srl/rnn_to_prs_cfg

Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"

Last synced: 14 Apr 2025

https://github.com/tech-srl/atam

Example programs for ATAM

Last synced: 20 Feb 2025

https://github.com/tech-srl/pldi-utils

hacks and scripts that are useful for chairing PLDI

Last synced: 20 Feb 2025