Shanda Li's picture

3 1

Shanda Li

LDA1020

·

https://lithiumda.github.io/

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

LDA1020/codepde-data

published a dataset about 2 months ago

LDA1020/codepde-data

upvoted a paper 3 months ago

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

View all activity

Organizations

None yet

Papers 8

arxiv:2505.08783

arxiv:2504.04310

arxiv:2501.14216

arxiv:2408.00724

models 1

LDA1020/CodePDE

datasets 2

LDA1020/codepde-data

Updated Sep 1 • 3

LDA1020/ns-dataset

Updated Jun 2 • 2