tech-srl's repositories
how_attentive_are_gats
Code for the paper "How Attentive are Graph Attention Networks?" (ICLR'2022)
bottleneck
Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"
slm-code-generation
TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)
lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
layer_norm_expressivity_role
Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)
adversarial-examples
Code for the paper: "Adversarial Examples for Models of Code"
weighted_lstar
implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
differential
differential
counting_dimensions
demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"
RNN_to_PRS_CFG
Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"
elasticsearch
Open Source, Distributed, RESTful Search Engine
pldi-utils
hacks and scripts that are useful for chairing PLDI