1 citations · 2 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
FUSE: Measure-Theoretic Compact Fuzzy Set Representation for Taxonomy Expansion
Fred Xu, Song Jiang, Zijie Huang +4
Taxonomy Expansion, which models complex concepts and their relations, can be formulated as a set representation learning task. The generalization of set, fuzzy set, incorporates u…
Physics-Informed Regularization for Domain-Agnostic Dynamical System Modeling
Zijie Huang, Wanjia Zhao, Jingdong Gao +6
Learning complex physical dynamics purely from data is challenging due to the intrinsic properties of systems to be satisfied. Incorporating physics-informed priors, such as in Ham…
TANGO: Time-Reversal Latent GraphODE for Multi-Agent Dynamical Systems
Zijie Huang, Wanjia Zhao, Jingdong Gao +6
Learning complex multi-agent system dynamics from data is crucial across many domains, such as in physical simulations and material modeling. Extended from purely data-driven appro…