Reasoning Agent

reasoning-agent

Activity Feed Request to join this org

AI & ML interests

Reasoning

Recent Activity

yifAI authored a paper 7 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

yifAI authored a paper about 2 months ago

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

yifAI authored a paper 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

View all activity

reasoning-agent 's datasets

None public yet