71 citations · 71 across the 3 of their papers we have counts for
3 papers
HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
Jingxuan Fan, Sarah Martinson, Erik Y. Wang +6
Advanced applied mathematics problems are underrepresented in existing Large Language Model (LLM) benchmark datasets. To address this, we introduce HARDMath, a dataset inspired by…
Control of flow behavior in complex fluids using automatic differentiation
Mohammed Alhashim, Kaylie Hausknecht, Michael Brenner
Inverse design of complex flows is notoriously challenging because of the high cost of high dimensional optimization. Usually, optimization problems are either restricted to few co…
ExoMiner: A Highly Accurate and Explainable Deep Learning Classifier that Validates 301 New Exoplanets
Hamed Valizadegan, Miguel Martinho, Laurent S. Wilkens +10
The kepler and TESS missions have generated over 100,000 potential transit signals that must be processed in order to create a catalog of planet candidates. During the last few yea…