Alert button
Picture for Benoit Steiner

Benoit Steiner

Alert button

Studying Large Language Model Generalization with Influence Functions

Aug 07, 2023
Roger Grosse, Juhan Bae, Cem Anil, Nelson Elhage, Alex Tamkin, Amirhossein Tajdini, Benoit Steiner, Dustin Li, Esin Durmus, Ethan Perez, Evan Hubinger, Kamilė Lukošiūtė, Karina Nguyen, Nicholas Joseph, Sam McCandlish, Jared Kaplan, Samuel R. Bowman

Figure 1 for Studying Large Language Model Generalization with Influence Functions
Figure 2 for Studying Large Language Model Generalization with Influence Functions
Figure 3 for Studying Large Language Model Generalization with Influence Functions
Figure 4 for Studying Large Language Model Generalization with Influence Functions
Viaarxiv icon

Measuring Faithfulness in Chain-of-Thought Reasoning

Jul 17, 2023
Tamera Lanham, Anna Chen, Ansh Radhakrishnan, Benoit Steiner, Carson Denison, Danny Hernandez, Dustin Li, Esin Durmus, Evan Hubinger, Jackson Kernion, Kamilė Lukošiūtė, Karina Nguyen, Newton Cheng, Nicholas Joseph, Nicholas Schiefer, Oliver Rausch, Robin Larson, Sam McCandlish, Sandipan Kundu, Saurav Kadavath, Shannon Yang, Thomas Henighan, Timothy Maxwell, Timothy Telleen-Lawton, Tristan Hume, Zac Hatfield-Dodds, Jared Kaplan, Jan Brauner, Samuel R. Bowman, Ethan Perez

Figure 1 for Measuring Faithfulness in Chain-of-Thought Reasoning
Figure 2 for Measuring Faithfulness in Chain-of-Thought Reasoning
Figure 3 for Measuring Faithfulness in Chain-of-Thought Reasoning
Figure 4 for Measuring Faithfulness in Chain-of-Thought Reasoning
Viaarxiv icon

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning

Feb 03, 2023
Taoan Huang, Aaron Ferber, Yuandong Tian, Bistra Dilkina, Benoit Steiner

Figure 1 for Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
Figure 2 for Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
Figure 3 for Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
Figure 4 for Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
Viaarxiv icon

Learning to compile smartly for program size reduction

Jan 09, 2023
Youwei Liang, Kevin Stone, Ali Shameli, Chris Cummins, Mostafa Elhoushi, Jiadong Guo, Benoit Steiner, Pengtao Xie, Hugh Leather, Yuandong Tian

Figure 1 for Learning to compile smartly for program size reduction
Figure 2 for Learning to compile smartly for program size reduction
Figure 3 for Learning to compile smartly for program size reduction
Figure 4 for Learning to compile smartly for program size reduction
Viaarxiv icon

Local Branching Relaxation Heuristics for Integer Linear Programs

Dec 15, 2022
Taoan Huang, Aaron Ferber, Yuandong Tian, Bistra Dilkina, Benoit Steiner

Figure 1 for Local Branching Relaxation Heuristics for Integer Linear Programs
Figure 2 for Local Branching Relaxation Heuristics for Integer Linear Programs
Figure 3 for Local Branching Relaxation Heuristics for Integer Linear Programs
Figure 4 for Local Branching Relaxation Heuristics for Integer Linear Programs
Viaarxiv icon

OLLA: Optimizing the Lifetime and Location of Arrays to Reduce the Memory Usage of Neural Networks

Nov 02, 2022
Benoit Steiner, Mostafa Elhoushi, Jacob Kahn, James Hegarty

Figure 1 for OLLA: Optimizing the Lifetime and Location of Arrays to Reduce the Memory Usage of Neural Networks
Figure 2 for OLLA: Optimizing the Lifetime and Location of Arrays to Reduce the Memory Usage of Neural Networks
Figure 3 for OLLA: Optimizing the Lifetime and Location of Arrays to Reduce the Memory Usage of Neural Networks
Figure 4 for OLLA: Optimizing the Lifetime and Location of Arrays to Reduce the Memory Usage of Neural Networks
Viaarxiv icon

SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems

Oct 22, 2022
Aaron Ferber, Taoan Huang, Daochen Zha, Martin Schubert, Benoit Steiner, Bistra Dilkina, Yuandong Tian

Figure 1 for SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems
Figure 2 for SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems
Figure 3 for SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems
Figure 4 for SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems
Viaarxiv icon

LoopStack: a Lightweight Tensor Algebra Compiler Stack

May 02, 2022
Bram Wasti, José Pablo Cambronero, Benoit Steiner, Hugh Leather, Aleksandar Zlateski

Figure 1 for LoopStack: a Lightweight Tensor Algebra Compiler Stack
Figure 2 for LoopStack: a Lightweight Tensor Algebra Compiler Stack
Figure 3 for LoopStack: a Lightweight Tensor Algebra Compiler Stack
Figure 4 for LoopStack: a Lightweight Tensor Algebra Compiler Stack
Viaarxiv icon

Flashlight: Enabling Innovation in Tools for Machine Learning

Jan 29, 2022
Jacob Kahn, Vineel Pratap, Tatiana Likhomanenko, Qiantong Xu, Awni Hannun, Jeff Cai, Paden Tomasello, Ann Lee, Edouard Grave, Gilad Avidov, Benoit Steiner, Vitaliy Liptchinsky, Gabriel Synnaeve, Ronan Collobert

Figure 1 for Flashlight: Enabling Innovation in Tools for Machine Learning
Figure 2 for Flashlight: Enabling Innovation in Tools for Machine Learning
Figure 3 for Flashlight: Enabling Innovation in Tools for Machine Learning
Figure 4 for Flashlight: Enabling Innovation in Tools for Machine Learning
Viaarxiv icon

CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research

Sep 17, 2021
Chris Cummins, Bram Wasti, Jiadong Guo, Brandon Cui, Jason Ansel, Sahir Gomez, Somya Jain, Jia Liu, Olivier Teytaud, Benoit Steiner, Yuandong Tian, Hugh Leather

Figure 1 for CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Figure 2 for CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Figure 3 for CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Figure 4 for CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Viaarxiv icon