TrustSQL Collection TRUST-SQL is a tool-integrated multi-turn reinforcement-learning framework for Text-to-SQL over Unknown Schemas. • 4 items • Updated 4 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving Paper • 2605.17283 • Published May 17 • 31
SCOPE: Signal-Calibrated On-Policy Distillation Enhancement with Dual-Path Adaptive Weighting Paper • 2604.10688 • Published Apr 12 • 27
PaTaRM Collection PaTaRM is a Generative Reward Model (GRM) for RLHF alignment. • 4 items • Updated Apr 2 • 2