Publications (6)
Literature Review: Smart Contract Semantics
Varun Mathur
This review presents and evaluates various formalisms for the purpose of modelling the semantics of financial derivatives contracts. The formalism proposed by Lee is selected as th…
Median Statistics Estimate of the Distance to the Galactic Center
Tia Camarillo, Varun Mathur, Tyler Mitchell +1
We show that error distributions of a compilation of 28 recent independent measurements of the distance from the Sun to the Galactic center, , are wider than a standard Gaus…
Using DUNE to Shed Light on the Electromagnetic Properties of Neutrinos
Varun Mathur, Ian M. Shoemaker, Zahra Tabrizi
We study future DUNE sensitivity to various electromagnetic couplings of neutrinos, including magnetic moments, milli-charges, and charge radii. The DUNE PRISM capabilities play a…
GATE: A Challenge Set for Gender-Ambiguous Translation Examples
Spencer Rarrick, Ranjita Naik, Varun Mathur +2
Although recent years have brought significant progress in improving translation of unambiguously gendered sentences, translation of ambiguously gendered input remains relatively u…
Cosmology-Independent Constraints on Irreducible Magnetic Monopole Background
Syuhei Iguro, Varun Mathur, Ian M. Shoemaker +1
We present a novel mechanism for the irreducible production of magnetic monopoles from interactions of cosmic rays and interstellar medium (ISM). Resulting monopoles drain energy f…
Detecting Boosted Dark Photons with Gaseous Detectors
Michael L. Graesser, R. Andrew Gustafson, Kate Hildebrandt +2
We search for indirect signals of (keV) dark matter annihilating or decaying into (eV) dark photons. These dark photons will be highly boosted and have de…