AMS Journal (amsart)

%% AMS journal template — uses the amsart class from the American
%% Mathematical Society (ships with TeX Live). Suitable for AMS journals and
%% AMS-LaTeX submissions.
\documentclass[11pt,reqno]{amsart}

\usepackage{amsmath,amssymb,amsthm}
\usepackage{graphicx}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}

\newcommand{\R}{\mathbb{R}}

\begin{document}

\title{A Template for AMS Journal Articles}
\author{First A. Author}
\address{Department of Mathematics, University of Example, City, Country}
\email{author@example.edu}
\author{Second B. Author}
\address{Example Research Institute, City, Country}
\email{second@example.com}

\date{\today}

\subjclass[2020]{Primary 46N10; Secondary 65K10}
\keywords{AMS, journal template, LaTeX, amsart}

\begin{abstract}
This document is a template for AMS-style journal articles using the
\texttt{amsart} class. It demonstrates the title block, abstract, theorem
environments, equations, and a bibliography.
\end{abstract}

\maketitle

\section{Introduction}
This template targets AMS journals. We build on classical
analysis~\cite{lecun2015deep} and modern methods~\cite{kingma2015adam}.

\begin{definition}\label{def:convex}
A function $f : \R^n \to \R$ is convex if for all $x, y \in \R^n$ and
$t \in [0,1]$, $f(tx + (1-t)y) \le t f(x) + (1-t) f(y)$.
\end{definition}

\begin{theorem}\label{thm:min}
Every convex function that is bounded below on $\R^n$ attains its infimum on
any nonempty closed convex set on which it is coercive.
\end{theorem}

\begin{proof}
The proof follows from standard compactness and lower semicontinuity
arguments; compare~\cite{he2016deep}.
\end{proof}

\section{Conclusion}
We presented an AMS journal template ready for compilation.

\bibliographystyle{amsplain}
\bibliography{refs}

\end{document}