4 papers
Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
Austin Shen, Yunong Shi
Automated theorem proving systems built on Lean 4 increasingly rely on parallel tactic search over partially specified proofs, such as those generated by Draft-Sketch-Prove (DSP) p…
Baryonic Masses and Properties of Gaseous Satellite Galaxies
Jingyao Zhu, Yasmeen Asali, Mary Putman +12
We present a sample of 127 gas-bearing dwarf galaxies around 56 late-type host galaxies within 30 Mpc using 21-cm HI data from the WALLABY, MHONGOOSE, and ALFALFA surveys. We chara…
WALLABY Pilot Survey & ASymba: Comparing HI Detection Asymmetries to the SIMBA Simulation
Mathieu Perron-Cormier, Nathan Deg, Kristine Spekkens +15
An avenue for understanding cosmological galaxy formation is to compare morphometric parameters in observations and simulations of galaxy assembly. In this second paper of the ASym…
WALLABY Pilot Survey: Star Formation Enhancement and Suppression in Gas-rich Galaxy Pairs
Qifeng Huang, Jing Wang, Xuchen Lin +16
Galaxy interactions can significantly affect the star formation in galaxies, but it remains a challenge to achieve a consensus on the star formation rate (SFR) enhancement in galax…