2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2025
Teasing apart definitional equivalence
Jason Chen, Toby Meadows
In a recent paper, Enayat and Le lyk [2024] show that second order arithmetic and countable set theory are not definitionally equivalent. It is well known that these theories are b…
cs.CV2024★ 2 cited
Detection of Spider Mites on Labrador Beans through Machine Learning Approaches Using Custom Datasets
Violet Liu, Jason Chen, Ans Qureshi +1
Amidst growing food production demands, early plant disease detection is essential to safeguard crops; this study proposes a visual machine learning approach for plant disease dete…