Author

Yu-Tong Gu

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

G-CARB: Graph-Localized Conformal Agent Risk Budget for Compositional Harm

Small language model (SLM) agents need safety controls that track consequences across tool calls with little monitoring overhead. A private read, for example, becomes a leak when a later action sends that data outside the system. We introduce CARB (Conformal Agent Risk Budget), which calibrates when to stop an agent us...

Zi-Jun Yu, Yu-Tong Gu, Vahid Partovi Nia et al. · 0 citations

#artificial intelligence Preprint Sep 2026

Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning

Proof-R1 is proposed, an RL framework from formal verification that trains LLMs to construct verifiable proofs for natural-language logical reasoning and improves answer accuracy across three logical reasoning benchmarks and four backbone models and outperforms training-free agents and training-based methods in terms o...

Qi-Li Zhang, Qian-Ren Mao, Han-Ze Cai et al. · 0 citations