A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving.
Jiahao Xu
Jiahao004
AI & ML interests
Sentence Emebddings; Neural Machine Translation
Recent Activity
upvoted
a
paper
6 days ago
The End of Manual Decoding: Towards Truly End-to-End Language Models
updated
a dataset
2 months ago
Jiahao004/agentllm_trainingset
updated
a dataset
3 months ago
Jiahao004/agentllm
Organizations
