Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
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…
cs.LG2025
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…
cs.LG2025
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…