Article
11
Zhengying Liu
evariste-liu
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
10 days ago
Generative Reasoning Recommendation via LLMs
published
an
article
3 months ago
Kimina-Prover-RL
liked
a model
4 months ago
moonshotai/Kimi-K2-Base
Organizations
Articles 2
Article
52
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models
0
None public yet
datasets
0
None public yet