Zhanming (Allan) Jie

allanjie's activity

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

New activity in allanjie/obt_and_mma_dataset 4 months ago

Librarian Bot: Add language metadata for dataset

#2 opened 5 months ago by

librarian-bot

commented a paper 5 months ago

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

Paper • 2405.14333 • Published May 23, 2024 • 37 •

6

New activity in allanjie/mma 5 months ago

Librarian Bot: Add language metadata for dataset

#2 opened 5 months ago by

librarian-bot

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

Commit f319d91 breaks eos_token_id

3

#9 opened 12 months ago by

tomer

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

fix buggy tokenizer

#11 opened 12 months ago by

allanjie

URGENT, error tokenizer

1

#10 opened 12 months ago by

allanjie

Commit f319d91 breaks eos_token_id

3

#9 opened 12 months ago by

tomer