papers

Publications (9)

astro-ph.GA2025

Machine Learning Techniques to Distinguish Giant Stars from Dwarf Stars Using Only Photometry -- Pushing Redwards

Keyi Ding, Carrie Filion, Rosemary F. G. Wyse +6

We present our photometric method, which combines Subaru/HSC , g, and i band filters to distinguish giant stars in Local Group galaxies from Milky Way dwarf contamination. T…

astro-ph.GA2026

Probing the IMF in the Early Universe -- Direct measurements in the Boötes I UFD with JWST/NIRCam

Keyi Ding, Mario Gennaro, Roberto J. Avila +20

The dependence of the stellar initial mass function (IMF) on star-formation environment, particularly at low metallicities and high redshifts, remains poorly constrained. Ultra-fai…

astro-ph.GA2026

Galactic Archaeology with the Subaru `Ōnohi`ula Prime Focus Spectrograph Strategic Program

Masashi Chiba, Rosemary F. G. Wyse, Evan N. Kirby +47

The recently commissioned Subaru `Ōnohi`ula Prime Focus Spectrograph (PFS) will obtain spectra from nearly 2,400 fibers that cover 1.24 square degrees. The 360 night Subaru Strate…

astro-ph.SR2023

Verification of Gaia DR3 Single-lined Spectroscopic Binary Solutions With Three Transiting Low-mass Secondaries

Stephen P. Schmidt, Kevin C. Schlaufman, Keyi Ding +18

While secondary mass inferences based on single-lined spectroscopic binary (SB1) solutions are subject to degeneracies, this degeneracy can be lifted through the observat…

hep-ph2026

Chiral Gravitational Wave Background from Audible Axion via Nieh-Yan Term

Baoyu Xu, Keyi Ding, Hong Su +2

Axions and axion-like particles can be probed through gravitational waves indirectly, often referred to as "audible axions". The usual concept of audible axion relies on the coupli…

cs.AI2025

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Zhouliang Yu, Ruotian Peng, Keyi Ding +10

Formal mathematical reasoning remains a critical challenge for artificial intelligence, hindered by limitations of existing benchmarks in scope and scale. To address this, we prese…

astro-ph.GA2024

CSST Strong Lensing Preparation: Forecasting the galaxy-galaxy strong lensing population for the China Space Station Telescope

Xiaoyue Cao, Ran Li, Nan Li +8

Galaxy-galaxy strong gravitational lensing (GGSL) is a powerful probe for the formation and evolution of galaxies and cosmology, while the sample size of GGSLs leads to considerabl…

cs.CL2025

SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines

P Team, Xinrun Du, Yifan Yao +94

Large language models (LLMs) have demonstrated remarkable proficiency in mainstream academic disciplines such as mathematics, physics, and computer science. However, human knowledg…

astro-ph.GA2025

Wide binaries in an ultra-faint dwarf galaxy: discovery, population modeling, and a nail in the coffin of primordial black hole dark matter

Cheyanne Shariat, Kareem El-Badry, Mario Gennaro +24

We report the discovery and characterization of a wide binary population in the ultrafaint dwarf galaxy Boötes I using deep JWST/NIRCam imaging. Our sample consists of 52 candidat…