tech-srl
                                        Results
                                        14
                                        repositories owned by
                                        
                                
                                            tech-srl
                                        
                                    RASP
                            
                                257
                            
                            
                        
                        Stars
                    
                            
                                24
                            
                            
                        
                        Forks
                    Watchers
                    An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
layer_norm_expressivity_role
                            
                                43
                            
                            
                        
                        Stars
                    
                            
                                3
                            
                            
                        
                        Forks
                    Watchers
                    Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)
adversarial-examples
                            
                                15
                            
                            
                        
                        Stars
                    
                            
                                12
                            
                            
                        
                        Forks
                    Watchers
                    Code for the paper: "Adversarial Examples for Models of Code"
weighted_lstar
                            
                                16
                            
                            
                        
                        Stars
                    
                            
                                5
                            
                            
                        
                        Forks
                    Watchers
                    implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019