% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
%
\documentclass[
]{article}
\usepackage{amsmath,amssymb}
\usepackage{iftex}
\ifPDFTeX
  \usepackage[T1]{fontenc}
  \usepackage[utf8]{inputenc}
  \usepackage{textcomp} % provide euro and other symbols
\else % if luatex or xetex
  \usepackage{unicode-math} % this also loads fontspec
  \defaultfontfeatures{Scale=MatchLowercase}
  \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
\fi
\usepackage{lmodern}
\ifPDFTeX\else
  % xetex/luatex font selection
\fi
% Use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
\IfFileExists{microtype.sty}{% use microtype if available
  \usepackage[]{microtype}
  \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\makeatletter
\@ifundefined{KOMAClassName}{% if non-KOMA class
  \IfFileExists{parskip.sty}{%
    \usepackage{parskip}
  }{% else
    \setlength{\parindent}{0pt}
    \setlength{\parskip}{6pt plus 2pt minus 1pt}}
}{% if KOMA class
  \KOMAoptions{parskip=half}}
\makeatother
\usepackage{xcolor}
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
% definitions for citeproc citations
\NewDocumentCommand\citeproctext{}{}
\NewDocumentCommand\citeproc{mm}{%
  \begingroup\def\citeproctext{#2}\cite{#1}\endgroup}
\makeatletter
 % allow citations to break across lines
 \let\@cite@ofmt\@firstofone
 % avoid brackets around text for \cite:
 \def\@biblabel#1{}
 \def\@cite#1#2{{#1\if@tempswa , #2\fi}}
\makeatother
\newlength{\cslhangindent}
\setlength{\cslhangindent}{1.5em}
\newlength{\csllabelwidth}
\setlength{\csllabelwidth}{3em}
\newenvironment{CSLReferences}[2] % #1 hanging-indent, #2 entry-spacing
 {\begin{list}{}{%
  \setlength{\itemindent}{0pt}
  \setlength{\leftmargin}{0pt}
  \setlength{\parsep}{0pt}
  % turn on hanging indent if param 1 is 1
  \ifodd #1
   \setlength{\leftmargin}{\cslhangindent}
   \setlength{\itemindent}{-1\cslhangindent}
  \fi
  % set entry spacing
  \setlength{\itemsep}{#2\baselineskip}}}
 {\end{list}}
\usepackage{calc}
\newcommand{\CSLBlock}[1]{\hfill\break\parbox[t]{\linewidth}{\strut\ignorespaces#1\strut}}
\newcommand{\CSLLeftMargin}[1]{\parbox[t]{\csllabelwidth}{\strut#1\strut}}
\newcommand{\CSLRightInline}[1]{\parbox[t]{\linewidth - \csllabelwidth}{\strut#1\strut}}
\newcommand{\CSLIndent}[1]{\hspace{\cslhangindent}#1}
\usepackage{bookmark}
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
\urlstyle{same}
\hypersetup{
  hidelinks,
  pdfcreator={LaTeX via pandoc}}

\author{}
\date{}

\begin{document}

{[}1{]} {[}2{]} {[}3{]} {[}4{]}

\phantomsection\label{refs}
\begin{CSLReferences}{0}{0}
\bibitem[\citeproctext]{ref-kleinFormallyVerifiedSoftware2018}
\CSLLeftMargin{{[}1{]} }%
\CSLRightInline{G. Klein, J. Andronick, M. Fernandez, I. Kuz, T. Murray,
and G. Heiser, {``Formally verified software in the real world,''}
\emph{Commun. ACM}, vol. 61, no. 10, pp. 68--77, Sep. 2018, doi:
\href{https://doi.org/10.1145/3230627}{10.1145/3230627}.}

\bibitem[\citeproctext]{ref-bullockHardwareintheloopSimulation2004}
\CSLLeftMargin{{[}2{]} }%
\CSLRightInline{D. Bullock, B. Johnson, R. B. Wells, M. Kyte, and Z. Li,
{``Hardware-in-the-loop simulation,''} \emph{Transportation Research
Part C: Emerging Technologies}, vol. 12, no. 1, pp. 73--89, Feb. 2004,
doi:
\href{https://doi.org/10.1016/j.trc.2002.10.002}{10.1016/j.trc.2002.10.002}.}

\bibitem[\citeproctext]{ref-sohl-dicksteinDeepUnsupervisedLearning2015a}
\CSLLeftMargin{{[}3{]} }%
\CSLRightInline{J. Sohl-Dickstein, E. A. Weiss, N. Maheswaranathan, and
S. Ganguli, {``Deep {Unsupervised Learning} using {Nonequilibrium
Thermodynamics}.''} Accessed: Oct. 05, 2023. {[}Online{]}. Available:
\url{http://arxiv.org/abs/1503.03585}}

\bibitem[\citeproctext]{ref-sohl-dicksteinDeepUnsupervisedLearning2015}
\CSLLeftMargin{{[}4{]} }%
\CSLRightInline{J. Sohl-Dickstein, E. A. Weiss, N. Maheswaranathan, and
S. Ganguli, {``Deep {Unsupervised Learning} using {Nonequilibrium
Thermodynamics}.''} Accessed: Jul. 16, 2024. {[}Online{]}. Available:
\url{http://arxiv.org/abs/1503.03585}}

\end{CSLReferences}

\end{document}
