Skip to content
View gailweiss's full-sized avatar
42 followers · 4 following

Achievements

Achievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report gailweiss

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. tech-srl/RASP tech-srl/RASP Public

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

    Python 285 24

  2. tech-srl/lstar_extraction tech-srl/lstar_extraction Public

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

    Jupyter Notebook 75 22

  3. tech-srl/counting_dimensions tech-srl/counting_dimensions Public

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

    Jupyter Notebook 11 3

  4. tech-srl/weighted_lstar tech-srl/weighted_lstar Public

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

    Python 18 5

  5. tech-srl/RNN_to_PRS_CFG tech-srl/RNN_to_PRS_CFG Public

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

    Python 9 2

  6. tech-srl/RASP-exps tech-srl/RASP-exps Public

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

    Python 16 1