2 papers
cs.PL2025
Quantitative Verification of Omega-regular Properties in Probabilistic Programming
Peixin Wang, Jianhao Bai, Min Zhang +1
Probabilistic programming provides a high-level framework for specifying statistical models as executable programs with built-in randomness and conditioning. Existing inference tec…
cs.CL2025
Nex-N1: Agentic Models Trained via a Unified Ecosystem for Large-Scale Environment Construction
AGI Team, Yuxuan Cai, Lu Chen +62
The evolution of Large Language Models (LLMs) from passive responders to autonomous agents necessitates a fundamental shift in learning paradigms -- from static imitation to incent…