Published in arXiv Pre-print, 2025
Formal, automated theorem proving using specialized language models for Lean4 proof generation combined with recursive decomposition of difficult theorems into simpler entailing propositions.
Recommended citation: Kelly Davis. (2025). "Gödel's Poetry." arXiv Pre-print.
Download Paper
Published in INTERSPEECH 2024, 2024
XTTS enables multilingual zero-shot TTS in 16 languages with state-of-the-art results, building on Tortoise with novel modifications for multilingual training, improved voice cloning, and faster training and inference.
Recommended citation: Edresson Casanova, Kelly Davis, Eren Gölge, Görkem Göknar, Iulian Gulea, Logan Hart, Aya Aljafari, Joshua Meyer, Reuben Morais, Samuel Olayemi, Julian Weber. (2024). "XTTS: a Massively Multilingual Zero-Shot Text-to-Speech Model." INTERSPEECH 2024.
Download Paper
Published in ACL 2020, 2020
Methods for converting contextualized representations (e.g. ELMo, BERT) to static lookup-table embeddings; analysis of representational quality and social biases across pretrained models.
Recommended citation: Rishi Bommasani, Kelly Davis, Claire Cardie. (2020). "Interpreting Pretrained Contextualized Representations via Reductions to Static Embeddings." ACL 2020.
Download Paper
Published in LREC 2020, 2020
The Common Voice corpus is a massively-multilingual collection of transcribed speech for ASR and related research, with 29+ languages and 2,500+ hours of crowdsourced audio.
Recommended citation: Rosana Ardila, Megan Branson, Kelly Davis, Michael Henretty, Michael Kohler, Josh Meyer, Reuben Morais, Lindsay Saunders, Francis M. Tyers, Gregor Weber. (2020). "Common Voice: A Massively-Multilingual Speech Corpus." LREC 2020.
Download Paper
Published in WIP, 2014
A parallel algorithm that searches for counterexamples to the Andrews–Curtis conjecture, run on Amazon EC2; motivated by connections to the smooth four-dimensional Poincaré conjecture.
Recommended citation: Kelly Davis. (2014). "Amazon Elastic Compute Cloud vs Andrews–Curtis Conjecture." Work in progress.
Published in Quantum Topology (submitted), 2011
We prove that unitary axiomatic TQFT in four dimensions cannot detect changes in smooth structure; we resolve the apparent contradiction with Donaldson–Witten theory by introducing axioms for differential quantum field theory.
Recommended citation: Kelly Davis. (2011). "Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds." Quantum Topology (submitted).
Download Paper
Published in Proceedings of the IEEE, Vol. 93, Issue 3, 2005
Presents the GridLab software architecture with GAT, environment-specific adaptors, and GridLab services; outlines the GAT API and demonstrates benefits for dynamic grid applications.
Recommended citation: Gabrielle Allen, Kelly Davis, Tom Goodale, Andrei Hutanu, Hartmut Kaiser, Thilo Kielmann, André Merzky, Rob van Nieuwpoort, Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Ed Seidel, Brygg Ullmer. (2005). "GAT: Towards Generic and Easy Application Programming Interfaces for the Grid." Proceedings of the IEEE. 93(3), 534–550.
Download Paper
Published in International Journal of High Performance Computing Applications, 2003
Overview of GridLab: vision of grid-empowered applications, general architecture, and introduction to the GAT (Grid Application Toolkit) architecture.
Recommended citation: Gabrielle Allen, Kelly Davis, Konstantinos N. Dolkas, Nikolaos D. Doulamis, Tom Goodale, Thilo Kielmann, André Merzky, Jarek Nabrzyski, Juliusz Pukacki, Thomas Radke, Michael Russell, Ed Seidel, John Shalf, Ian Taylor. (2003). "Enabling Applications on the Grid: A GridLab Overview." Int. J. High Per. Comp. App..
Download Paper
Published in Java World, 2001
Using RMI and the Proxy API (JDK 1.3) to allow one or more Servlet servers to maintain session information on session servers, avoiding a single point of failure.
Recommended citation: Kelly Davis and Robert Di Marco. (2001). "Manage Distributed Sessions." Java World (now InfoWorld).
Download Paper
Published in NASA Breakthrough Propulsion Workshop (NASA/CP-199-208694), 1999
Examination of hints that an Alcubierre-type warp drive might be constructed within M-Theory; review of superstring theory and M-Theory and relevant physical states.
Recommended citation: Kelly Davis. (1999). "Study of M-Theoretic Alcubierre Type Warp Drive." Proceedings NASA Breakthrough Propulsion Workshop (NASA/CP-199-208694).
Download Paper
Published in hep-th/9703113, 1997
Section of Ph.D. thesis: the M-Theoretic analog of the standard topological sigma model; observables in cohomology of moduli of supersymmetric maps; correlation functions and non-perturbative corrections.
Recommended citation: Kelly Davis. (1997). "Generalized Topological Sigma Model." Section of Ph.D. Thesis. hep-th/9703113.
Download Paper
Published in hep-th/9601102, 1996
Section of Ph.D. thesis: compatibility of M-Theory/Type IIA results with six-dimensional string-string duality; M-Theory on K3×S¹ and relation to Heterotic theory on T⁴.
Recommended citation: Kelly Davis. (1996). "M-Theory and Enhanced Gauge Symmetry." Section of Ph.D. Thesis. hep-th/9601102.
Download Paper
Published in Rutgers Mathematics/Physics Conference, hep-th/9406023, 1994
Lecture notes: derivation of the connection between the Â-genus of spacetime loop space and the genus one partition function of the N=1/2 sigma model; remarks on generalizations.
Recommended citation: Kelly Davis. (1994). "A-Genus and the Sigma Model." Rutgers Mathematics/Physics Conference. hep-th/9406023.
Download Paper