Publications
Documention from FirstPrinciples.
All preprints below have been submitted and are currently under peer review. However, each preprint listed has been shared with external or internal experts in the given area and have received approval of scientific merit and novelty subject to journal refereeing scrutiny
.avif)
August 6, 2026
Geometry-Only CSL/DP Ratios and the Nonuniqueness of Decoherence Kernels
Randy Davila and Gerard J. Milburn
July 28, 2026
The Havel–Hakimi Residue of Common-Divisor Graphs: Resolving and Extending a Problem of Graffiti and Erdos
Randy Davila
July 17, 2026
The Zombie Damage Number of a Graph
Randy Davila
July 17, 2026
On Conjectures Involving the Dual-Server Independent Domination Number
Mustapha Chellali, Randy R. Davila, Teresa W. Haynes, Stephen T. Hedetniemi, and Ryan Pepper
July 1, 2026
Skew Forts and Cycle Structure in Claw-Free Graphs
Randy Davila
July 1, 2026
Exact Fidelity–Unitarity Frontiers for Unital Qubit Channels
Randy Davila
July 1, 2026
Sharp Pairwise-to-Global Joint-Measurability Ratios for Unbiased Qubit Measurements
Randy Davila
July 1, 2026
Cops and Zombies in Claw-Free Graphs
Randy Davila and Michael A. Henning
July 1, 2026
Executable Mathematical Artifacts in Discovery: An Advisor-Supervised AI Loop for Conjectures, Counterexamples, and Proofs
Randy Davila
June 26, 2026
Automated Conjecturing for Mathematical Research
FirstPrinciples
June 26, 2026
GRAFFITI3LOOP: Generating and Resolving Formal Machine-Generated Graph Conjectures in a Loop
William Hu, Michael Douglas, Randy Davila, Philip Vonderlind, Simon Frieder,
May 26, 2026
DeepSciVerify: Verifying Scientific Claim--Citation Alignment via LLM-Driven Evidence Escalation
Shaghayegh Sadeghi, Khashayar Khajavi, Rise Adhikari, Alexander Tessier
May 26, 2026
CITECHECK: Retrieval-Grounded Detection of LLM Citation Hallucinations in Scientific Text
Khashayar Khajavi, Shaghayegh Sadeghi, Rise Adhikari, Alexander Tessier
April 14, 2026
Automated conjecturing with TxGraffiti
Randy Davila
November 18, 2024
Another conjecture of TxGraffiti concerning zero forcing and domination in graphs
Randy Davila