Author

Ruo-Bing Zuo

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

ID2Pattern: Pretraining Generalizable Identity Behavior Patterns for Transaction Risk Foundation Models

ID2Pattern is proposed, a pretraining framework that brings high-cardinality identity fields into transaction foundation models and remains equally effective even when all identity values are unseen during training, highlighting its potential to generalize to new users and markets.

Ze-Pan Zhao, Hao-Yu Jiang, W. Han et al. · 0 citations

#artificial intelligence Preprint Oct 2026

IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation

Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an agentic framework combining LLM reasoning with symbolic computation for inequality proving in Lean4. Lemma-level Monte Carlo Tree Search coordi...

Gao-Lei He, Jin-Hui Li, Ruo-Bing Zuo et al. · 0 citations