Picture for Jason Gross

Jason Gross

Department of Mechanical and Aerospace Engineering, West Virginia University, Morgantown, USA

Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations

Add code
Oct 09, 2024
Figure 1 for Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations
Figure 2 for Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations
Figure 3 for Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations
Figure 4 for Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations
Viaarxiv icon

Compact Proofs of Model Performance via Mechanistic Interpretability

Add code
Jun 24, 2024
Viaarxiv icon

Provable Guarantees for Model Performance via Mechanistic Interpretability

Add code
Jun 18, 2024
Viaarxiv icon

Design of Stickbug: a Six-Armed Precision Pollination Robot

Add code
Apr 04, 2024
Figure 1 for Design of Stickbug: a Six-Armed Precision Pollination Robot
Figure 2 for Design of Stickbug: a Six-Armed Precision Pollination Robot
Figure 3 for Design of Stickbug: a Six-Armed Precision Pollination Robot
Figure 4 for Design of Stickbug: a Six-Armed Precision Pollination Robot
Viaarxiv icon

CryptOpt: Automatic Optimization of Straightline Code

Add code
May 31, 2023
Figure 1 for CryptOpt: Automatic Optimization of Straightline Code
Figure 2 for CryptOpt: Automatic Optimization of Straightline Code
Figure 3 for CryptOpt: Automatic Optimization of Straightline Code
Figure 4 for CryptOpt: Automatic Optimization of Straightline Code
Viaarxiv icon

CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives

Add code
Nov 19, 2022
Figure 1 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 2 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 3 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 4 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Viaarxiv icon

A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers

Add code
Dec 15, 2021
Figure 1 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 2 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 3 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 4 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Viaarxiv icon

Review of Factor Graphs for Robust GNSS Applications

Add code
Dec 14, 2021
Figure 1 for Review of Factor Graphs for Robust GNSS Applications
Viaarxiv icon

ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots

Add code
Dec 14, 2021
Figure 1 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 2 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 3 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 4 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Viaarxiv icon

Design of an Autonomous Precision Pollination Robot

Add code
Aug 29, 2018
Figure 1 for Design of an Autonomous Precision Pollination Robot
Figure 2 for Design of an Autonomous Precision Pollination Robot
Figure 3 for Design of an Autonomous Precision Pollination Robot
Figure 4 for Design of an Autonomous Precision Pollination Robot
Viaarxiv icon