Source author record

Andrew Corbett

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
3topics
1close collaborators

Published work

2 publications

preprint2022arXiv

Imbedding Deep Neural Networks

Continuous-depth neural networks, such as Neural ODEs, have refashioned the understanding of residual neural networks in terms of non-linear vector-valued optimal control problems. The common solution is to use the adjoint sensitivity method to replicate a forward-backward pass optimisation problem. We propose a new approach which explicates the network's `depth' as a fundamental variable, thus reducing the problem to a system of forward-facing initial value problems. This new method is based on the principle of `Invariant Imbedding' for which we prove a general solution, applicable to all non-linear, vector-valued optimal control problems with both running and terminal loss. Our new architectures provide a tangible tool for inspecting the theoretical--and to a great extent unexplained--properties of network depth. They also constitute a resource of discrete implementations of Neural ODEs comparable to classes of imbedded residual neural networks. Through a series of experiments, we show the competitive performance of the proposed architectures for supervised learning and time series prediction.

preprint2016arXiv

A proof of the refined Gan--Gross--Prasad conjecture for non-endoscopic Yoshida lifts

We prove a precise formula relating the Bessel period of certain automorphic forms on GSp4(AF){\rm GSp}_{4}(\mathbb{A}_{F}) to a central LL-value. This is a special case of the refined Gan--Gross--Prasad conjecture for the groups (SO5,SO2)({\rm SO}_{5},{\rm SO}_{2}) as set out by Ichino--Ikeda and Liu. This conjecture is deep and hard to prove in full generality; in this paper we succeed in proving the conjecture for forms lifted, via automorphic induction, from GL2(AE){\rm GL}_{2}(\mathbb{A}_{E}) where EE is a quadratic extension of FF. The case where E=F×FE=F\times F has been previously dealt with by Liu.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.