49 citations · 203 across the 10 of their papers we have counts for
10 papers
VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
Zichen Xie, Mrigank Pawagi, Yuxin Liu +5
Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generation offers a path beyond testing…
Analytic relations assessing the impact of precursor knowledge and key mission parameters on direct imaging survey yield
Peter Plavchan, John E. Berberian, Stephen R Kane +3
The Habitable Worlds Observatory will attempt to image Earth-sized planets in Habitable Zone orbits around nearby Sun-like stars. In this work we explore approximate analytic yield…
An asynchronous object-oriented approach to the automation of the 0.8-meter George Mason University campus telescope in Python
Michael Reefe, Owen Alfaro, Shawn Foster +22
We present a unique implementation of Python coding in an asynchronous object-oriented programming (OOP) framework to fully automate the process of collecting data with the George…
A close-in puffy Neptune with hidden friends: The enigma of TOI 620
Michael A. Reefe, Rafael Luque, Eric Gaidos +82
We present the validation of a transiting low-density exoplanet orbiting the M2.5 dwarf TOI 620 discovered by the NASA TESS mission. We utilize photometric data from both TESS and…
A Possible Alignment Between the Orbits of Planetary Systems and their Visual Binary Companions
Sam Christian, Andrew Vanderburg, Juliette Becker +111
Astronomers do not have a complete picture of the effects of wide-binary companions (semimajor axes greater than 100 AU) on the formation and evolution of exoplanets. We investigat…
TOI 560 : Two Transiting Planets Orbiting a K Dwarf Validated with iSHELL, PFS and HIRES RVs
Mohammed El Mufti, Peter P. Plavchan, Howard Isaacson +92
We validate the presence of a two-planet system orbiting the 0.15--1.4 Gyr K4 dwarf TOI 560 (HD 73583). The system consists of an inner moderately eccentric transiting mini-Neptune…
TOI-431/HIP 26013: a super-Earth and a sub-Neptune transiting a bright, early K dwarf, with a third RV planet
Ares Osborn, David J. Armstrong, Bryson Cale +125
We present the bright (V), multi-planet system TOI-431, characterised with photometry and radial velocities. We estimate the stellar rotation period to be $30.5 \pm…
The CARMENES search for exoplanets around M dwarfs -- LP 714-47b (TOI 442.01): Populating the Neptune desert
S. Dreizler, I., J. +134
We report the discovery of a Neptune-like planet (LP 714-47 b, P = 4.05204 d, m_b = 30.8 +/- 1.5 M_earth , R_b = 4.7 +/- 0.3 R_earth ) located in the 'hot Neptune desert'. Confirma…
Spin-orbit alignment and magnetic activity in the young planetary system AU Mic
E. Martioli, G. Hebrard, C. Moutou +21
We present high resolution near-infrared spectropolarimetric observations using the SPIRou instrument at CFHT during a transit of the recently detected young planet AU Mic b, with…
Nanohertz Frequency Determination for the Gravity Probe B HF SQUID Signal
M. Salomon, J. W. Conklin, J. Kozaczuk +5
In this paper, we present a method to measure the frequency and the frequency change rate of a digital signal. This method consists of three consecutive algorithms: frequency inter…