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
updated
a dataset
about 9 hours ago
Jiahao004/HMMT_FIMO_Putnam
updated
a dataset
about 10 hours ago
Jiahao004/DeepTheorem
updated
a collection
about 10 hours ago
DeepTheorem
Organizations
None yet
