Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Compositional Questioning
Activity Feed
Follow
1
AI & ML interests
None defined yet.
Recent Activity
yifAI
authored
a paper
8 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
Team members
1
compositional-questioning
's datasets
None public yet