Zhanming (Allan) Jie

allanjie's activity

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

authored a paper 7 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published 10 days ago • 48

authored a paper 5 months ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

authored a paper over 1 year ago

ThinK: Thinner Key Cache by Query-Driven Pruning

Paper • 2407.21018 • Published Jul 30, 2024 • 32

authored 7 papers almost 2 years ago

ENT-DESC: Entity Description Generation by Exploring Knowledge Graph

Paper • 2004.14813 • Published Apr 30, 2020

Dependency-Guided LSTM-CRF for Named Entity Recognition

Paper • 1909.10148 • Published Sep 23, 2019

Efficient Dependency-Guided Named Entity Recognition

Paper • 1810.08436 • Published Oct 19, 2018

Dependency-based Hybrid Trees for Semantic Parsing

Paper • 1809.00107 • Published Sep 1, 2018

Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction

Paper • 2203.10316 • Published Mar 19, 2022

Design of Chain-of-Thought in Math Problem Solving

Paper • 2309.11054 • Published Sep 20, 2023 • 2

ReFT: Reasoning with Reinforced Fine-Tuning

Paper • 2401.08967 • Published Jan 17, 2024 • 31

authored a paper about 2 years ago

Leveraging Training Data in Few-Shot Prompting for Numerical Reasoning

Paper • 2305.18170 • Published May 29, 2023 • 2