Ziyin Zhang

Geralt-Targaryen's activity

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

upvoted a collection 17 days ago

codefuse-papers

Collection

10 items • Updated 10 days ago • 3

upvoted a collection 20 days ago

DeepTheorem

Collection

A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving. • 6 items • Updated 15 days ago • 2

upvoted a paper 27 days ago

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning

Paper • 2505.23754 • Published 28 days ago • 16

upvoted 2 papers 29 days ago

Every Sample Matters: Leveraging Mixture-of-Experts and High-Quality Data for Efficient and Accurate Code LLM

Paper • 2503.17793 • Published Mar 22 • 19

Code Graph Model (CGM): A Graph-Integrated Large Language Model for Repository-Level Software Engineering Tasks

Paper • 2505.16901 • Published May 22 • 44

upvoted a paper 4 months ago

Multilingual Encoder Knows more than You Realize: Shared Weights Pretraining for Extremely Low-Resource Languages

Paper • 2502.10852 • Published Feb 15 • 2

upvoted a paper 7 months ago

Draft Model Knows When to Stop: A Self-Verification Length Policy for Speculative Decoding

Paper • 2411.18462 • Published Nov 27, 2024 • 6

upvoted a paper over 1 year ago

Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code

Paper • 2311.07989 • Published Nov 14, 2023 • 25