reasoning-agent-system

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

yifAI authored a paper about 13 hours ago

A Markov Categorical Framework for Language Modeling

yifAI authored a paper 29 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

yifAI authored a paper 2 months ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

View all activity

models 0

None public yet

datasets 0

None public yet