4 papers
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
Alexander K Taylor, Junyi Zhang, Ethan Ji +10
Automated theorem proving (ATP) benchmarks largely consist of problems formalized in MathLib, so current ATP training and evaluation are heavily biased toward MathLib's definitiona…
CORGI: GNNs with Convolutional Residual Global Interactions for Lagrangian Simulation
Ethan Ji, Yuanzhou Chen, Arush Ramteke +5
Partial differential equations (PDEs) are central to dynamical systems modeling, particularly in hydrodynamics, where traditional solvers often struggle with nonlinearity and compu…
Atherosclerosis through Hierarchical Explainable Neural Network Analysis
Irsyad Adam, Steven Swee, Erika Yilin +7
In this work, we study the problem pertaining to personalized classification of subclinical atherosclerosis by developing a hierarchical graph neural network framework to leverage…
Platform for Representation and Integration of multimodal Molecular Embeddings
Erika Yilin Zheng, Yu Yan, Baradwaj Simha Sankar +8
Existing machine learning methods for molecular (e.g., gene) embeddings are restricted to specific tasks or data modalities, limiting their effectiveness within narrow domains. As…