Zhanming (Allan) Jie

allanjie's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

New activity in allanjie/obt_and_mma_dataset 11 days ago

Librarian Bot: Add language metadata for dataset

#2 opened 19 days ago by librarian-bot

commented a paper about 1 month ago

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Paper • 2405.14333 • Published May 23 • 32 •

6

New activity in allanjie/mma about 1 month ago

Librarian Bot: Add language metadata for dataset

#2 opened about 1 month ago by librarian-bot

New activity in Salesforce/codegen25-7b-multi_P 6 months ago

Commit f319d91 breaks eos_token_id

3

#9 opened 8 months ago by tomer

New activity in Salesforce/codegen25-7b-multi_P 8 months ago

fix buggy tokenizer

#11 opened 8 months ago by allanjie

URGENT, error tokenizer

1

#10 opened 8 months ago by allanjie