Gail Weiss
8 papers · 2018–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (22) π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (7) π Cross-Pollinator (13)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π§¬
Topic Evolution
Conferences
ACL (2)
EMNLP (2)
ICML (2)
NIPS (2)
Top co-authors
Keywords
recurrent neural network
(4)
knowledge editing
(2)
formal language
(2)
long short-term memory
(2)
language model
(2)
attention mechanism
(1)
transformer architecture
(1)
language recognition
(1)
probabilistic modeling
(1)
computational model
(1)
computational power
(1)
space complexity
(1)
automata learning
(1)
parameter update
(1)
neural network theory
(1)
representation learning
(1)
expressive capacity
(1)
active learning
(1)
evaluation metric
(1)
model compression
(1)
Papers
Reliable Evaluation and Benchmarks for Statement Autoformalization
EMNLP 2025
Discovering Knowledge-Critical Subnetworks in Pretrained Language Models
EMNLP 2024
RECKONING: Reasoning through Dynamic Knowledge Encoding
NIPS 2023
Thinking Like Transformers
ICML 2021
A Formal Hierarchy of RNN Architectures
ACL 2020
Learning Deterministic Weighted Automata with Queries and Counterexamples
NIPS 2019
On the Practical Computational Power of Finite Precision RNNs for Language Recognition
ACL 2018
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
ICML 2018