tech-srl/RASP

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

Language: Python - Size: 271 KB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 309 - Forks: 30

tech-srl/how_attentive_are_gats

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

Language: Python - Size: 3.34 MB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 335 - Forks: 41

tech-srl/code2vec

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

Language: Python - Size: 5.02 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 1,133 - Forks: 290

tech-srl/code2seq

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

Language: Python - Size: 4.27 MB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 557 - Forks: 166

tech-srl/Nero

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

Language: Python - Size: 18.6 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 205 - Forks: 23

tech-srl/c3po

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

Language: Python - Size: 87.2 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 11

tech-srl/lstar_extraction

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

Language: Jupyter Notebook - Size: 196 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 77 - Forks: 22

tech-srl/slm-code-generation

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

Language: Java - Size: 2.53 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 88 - Forks: 10

tech-srl/layer_norm_expressivity_role

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

Language: Python - Size: 748 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 46 - Forks: 3

tech-srl/id2vec

Language: Python - Size: 127 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 4

tech-srl/bottleneck

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

Language: Python - Size: 844 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 94 - Forks: 21

tech-srl/esh

statistical similarity of binaries (Esh)

Language: C# - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: almost 9 years ago - Stars: 73 - Forks: 13

tech-srl/weighted_lstar

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

Language: Python - Size: 136 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 18 - Forks: 5

tech-srl/RASP-exps

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

Language: Python - Size: 43 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 1

tech-srl/counting_dimensions

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

Language: Jupyter Notebook - Size: 231 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 11 - Forks: 3

tech-srl/adversarial-examples

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

Language: Python - Size: 146 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 12

tech-srl/safe

SAFE static analysis tools

Language: Java - Size: 8.27 MB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 12 - Forks: 11

tech-srl/differential

differential

Language: C - Size: 18.5 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 6

tech-srl/prime

Language: Java - Size: 37.5 MB - Last synced at: about 1 month ago - Pushed at: almost 9 years ago - Stars: 14 - Forks: 5

tech-srl/elasticsearch Fork of elastic/elasticsearch

Open Source, Distributed, RESTful Search Engine

Language: Java - Size: 154 MB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0

tech-srl/PigeonJS Fork of eth-sri/UnuglifyJS

Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"

Language: JavaScript - Size: 8.63 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 24 - Forks: 6

tech-srl/RNN_to_PRS_CFG

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

Language: Python - Size: 68.4 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 2

tech-srl/atam

Example programs for ATAM

Language: C - Size: 369 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

tech-srl/pldi-utils

hacks and scripts that are useful for chairing PLDI

Language: Python - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

tech-srl/TRACY Fork of Yanivmd/TRACY

TRACY

Size: 184 KB - Last synced at: about 1 year ago - Pushed at: about 11 years ago - Stars: 9 - Forks: 2