6 papers
SWE-World: Building Software Engineering Agents in Docker-Free Environments
Shuang Sun, Huatong Song, Lisheng Huang +11
Recent advances in large language models (LLMs) have enabled software engineering agents to tackle complex code modification tasks. Most existing approaches rely on execution feedb…
TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow
Yicheng Tao, Hongteng Xu
The high cost of agentic workflows in formal mathematics hinders large-scale data synthesis, exacerbating the scarcity of open-source corpora. To address this, we introduce \textbf…
Lighter-X: An Efficient and Plug-and-play Strategy for Graph-based Recommendation through Decoupled Propagation
Yanping Zheng, Zhewei Wei, Frank de Hoog +4
Graph Neural Networks (GNNs) have demonstrated remarkable effectiveness in recommendation systems. However, conventional graph-based recommenders, such as LightGCN, require maintai…
Conservation-informed Graph Learning for Spatiotemporal Dynamics Prediction
Yuan Mi, Pu Ren, Hongteng Xu +6
Data-centric methods have shown great potential in understanding and predicting spatiotemporal dynamics, enabling better design and control of the object system. However, deep lear…
A Bayesian Mixture Model of Temporal Point Processes with Determinantal Point Process Prior
Yiwei Dong, Shaoxin Ye, Yuwen Cao +3
Asynchronous event sequence clustering aims to group similar event sequences in an unsupervised manner. Mixture models of temporal point processes have been proposed to solve this…
Revisiting Counterfactual Regression through the Lens of Gromov-Wasserstein Information Bottleneck
Hao Yang, Zexu Sun, Hongteng Xu +1
As a promising individualized treatment effect (ITE) estimation method, counterfactual regression (CFR) maps individuals' covariates to a latent space and predicts their counterfac…