Picture for Gail Weiss

Gail Weiss

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants

Add code
Aug 07, 2024
Figure 1 for Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
Figure 2 for Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
Figure 3 for Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
Figure 4 for Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants
Viaarxiv icon

Improving Autoformalization using Type Checking

Add code
Jun 11, 2024
Figure 1 for Improving Autoformalization using Type Checking
Figure 2 for Improving Autoformalization using Type Checking
Figure 3 for Improving Autoformalization using Type Checking
Figure 4 for Improving Autoformalization using Type Checking
Viaarxiv icon

Transformers as Recognizers of Formal Languages: A Survey on Expressivity

Add code
Nov 01, 2023
Viaarxiv icon

Discovering Knowledge-Critical Subnetworks in Pretrained Language Models

Add code
Oct 04, 2023
Viaarxiv icon

RECKONING: Reasoning through Dynamic Knowledge Encoding

Add code
May 23, 2023
Figure 1 for RECKONING: Reasoning through Dynamic Knowledge Encoding
Figure 2 for RECKONING: Reasoning through Dynamic Knowledge Encoding
Figure 3 for RECKONING: Reasoning through Dynamic Knowledge Encoding
Figure 4 for RECKONING: Reasoning through Dynamic Knowledge Encoding
Viaarxiv icon

Thinking Like Transformers

Add code
Jun 13, 2021
Figure 1 for Thinking Like Transformers
Figure 2 for Thinking Like Transformers
Figure 3 for Thinking Like Transformers
Figure 4 for Thinking Like Transformers
Viaarxiv icon

Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)

Add code
Feb 09, 2021
Figure 1 for Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)
Figure 2 for Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)
Figure 3 for Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)
Figure 4 for Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)
Viaarxiv icon

A Formal Hierarchy of RNN Architectures

Add code
Apr 24, 2020
Figure 1 for A Formal Hierarchy of RNN Architectures
Figure 2 for A Formal Hierarchy of RNN Architectures
Figure 3 for A Formal Hierarchy of RNN Architectures
Figure 4 for A Formal Hierarchy of RNN Architectures
Viaarxiv icon

Learning Deterministic Weighted Automata with Queries and Counterexamples

Add code
Oct 30, 2019
Figure 1 for Learning Deterministic Weighted Automata with Queries and Counterexamples
Figure 2 for Learning Deterministic Weighted Automata with Queries and Counterexamples
Figure 3 for Learning Deterministic Weighted Automata with Queries and Counterexamples
Figure 4 for Learning Deterministic Weighted Automata with Queries and Counterexamples
Viaarxiv icon

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Add code
Jun 24, 2018
Figure 1 for Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Figure 2 for Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Figure 3 for Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Figure 4 for Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Viaarxiv icon