Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ScaleBio Baseline
university
https://huggingface.co/RolandMinrui
Activity Feed
Follow
5
AI & ML interests
None defined yet.
Recent Activity
research4pan
authored
a paper
16 days ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
HanningZhang
authored
a paper
6 months ago
Optimizing Chain-of-Thought Reasoners via Gradient Variance Minimization in Rejection Sampling and RL
HanningZhang
authored
a paper
8 months ago
Self-rewarding correction for mathematical reasoning
View all activity
Team members
5
models
0
None public yet
datasets
0
None public yet