Zheng Yuan's picture

Zheng Yuan

GanjinZero

·

https://github.com/GanjinZero

GanjinZero

AI & ML interests

Medical NLP

Recent Activity

upvoted a paper 3 days ago

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

commented on a paper 3 days ago

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

liked a dataset 3 days ago

AI-MO/NuminaMath-LEAN

View all activity

Organizations

Papers 2

arxiv:2308.01825

arxiv:2304.05302

models 10

GanjinZero/wombat-7b-gpt4-delta

Text Generation • Updated Apr 15, 2023 • 6 • 11

GanjinZero/wombat-7b-delta

Text Generation • Updated Apr 15, 2023 • 5 • 23

GanjinZero/UMLSBert_ENG

Feature Extraction • 0.1B • Updated Apr 4, 2023 • 1.21k • 13

GanjinZero/biobart-large

0.4B • Updated Apr 4, 2023 • 71 • 6

GanjinZero/coder_eng_pp

Feature Extraction • 0.1B • Updated Mar 27, 2023 • 29 • 4

GanjinZero/biobart-v2-base

0.2B • Updated Mar 22, 2023 • 976 • 4

GanjinZero/biobart-base

0.1B • Updated Mar 22, 2023 • 1.71k • 5

GanjinZero/biobart-v2-large

0.4B • Updated Mar 22, 2023 • 1.1k • 3

GanjinZero/coder_eng

Feature Extraction • 0.1B • Updated Mar 22, 2023 • 36 • 4

GanjinZero/coder_all

Feature Extraction • Updated Mar 9, 2023 • 138 • 3

datasets 0

None public yet