Stephen Wright

24 papers A* 5C 2Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Innovative Algorithm For Robust, Interactive, Piecewise-Linear Data Exploration.
CoRR
Stephen Wright, Colin Paterson
2024 A* conf
On Penalty Methods for Nonconvex Bilevel Optimization and First-Order Stochastic Approximation.
ICLR
Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak
2024 A* conf
On the Complexity of Teaching a Family of Linear Behavior Cloning Learners.
NeurIPS
Shubham Kumar Bharti, Stephen Wright, Adish Singla, Xiaojin (Jerry) Zhu
2023 A* conf
A Fully First-Order Method for Stochastic Bilevel Optimization.
ICML
Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak
2023 J jnl
A Fully First-Order Method for Stochastic Bilevel Optimization.
CoRR
Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak
2023 A* conf
Cut your Losses with Squentropy.
ICML
Like Hui, Mikhail Belkin, Stephen Wright
2023 J jnl
Cut your Losses with Squentropy.
CoRR
Like Hui, Mikhail Belkin, Stephen Wright
2023 J jnl
Learning physics-based reduced-order models from data using nonlinear manifolds.
CoRR
Rudy Geelen, Laura Balzano, Stephen Wright, Karen Willcox
2023 J jnl
Optimally Teaching a Linear Behavior Cloning Agent.
CoRR
Shubham Kumar Bharti, Stephen Wright, Adish Singla, Xiaojin Zhu
2022 A* conf
BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach.
NeurIPS
Bo Liu, Mao Ye, Stephen Wright, Peter Stone, Qiang Liu
2022 J jnl
BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach.
CoRR
Mao Ye, Bo Liu, Stephen Wright, Peter Stone, Qiang Liu
2022 J jnl
Operator inference for non-intrusive model reduction with nonlinear manifolds.
CoRR
Rudy Geelen, Stephen Wright, Karen Willcox
2021 — conf
Systematic Assessment of Formal Methods Based Models Quality Criteria.
MEDI Workshops
Lorenzo Maldini, Stephen Wright
2017 J jnl
Model-based development of MAV altitude control via ground-based equipment.
Int. J. Model. Identif. Control.
Stephen Wright
2017 — conf
Transmission Performance of Large Aeff Ultra-Low-Loss Terrestrial Fibre in 200 Gb/s EDFA and Raman-Assisted Systems.
ECOC
John D. Downie, Sergejs Makovejs, Nikolay Kaliteevskiy, Jason E. Hurley, Stephen Wright, Christopher R. Towery
2016 J jnl
The transmission of knowledge and justification.
Synth.
Stephen Wright
2013 J jnl
Does Klein's infinitism offer a response to Agrippa's trilemma?
Synth.
Stephen Wright
2013 — ch.
Experience of Deploying Event-B in Industrial Microprocessor Development.
Industrial Deployment of System Engineering Methods
Stephen Wright, Kerstin Eder
2011 C conf
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.
ICFEM
Fangfang Yuan, Stephen Wright, Kerstin Eder, David May
2011 J jnl
Using Event-B to construct instruction set architectures.
Formal Aspects Comput.
Stephen Wright, Kerstin Eder
2009 — —
Formal construction of Instruction Set Architectures.
Stephen Wright
2008 C conf
Using EventB to Create a Virtual Machine Instruction Set Architecture.
ABZ
Stephen Wright
2002 J jnl
Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities.
Presence Teleoperators Virtual Environ.
Stephen Wright, Nicholas J. Ward, Anthony G. Cohn
1997 J jnl
Stability of Augmented System Factorizations in Interior-Point Methods.
SIAM J. Matrix Anal. Appl.
Stephen Wright