Jingwei Xu's picture

Jingwei Xu

ParagonLight

·

https://njudeepengine.github.io/jingweixu/

paragonlight

AI & ML interests

None yet

Recent Activity

updated a model about 2 months ago

NJUDeepEngine/llm_based_atp

updated a model about 2 months ago

NJUDeepEngine/llm_based_atp

upvoted a paper 2 months ago

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

View all activity

Organizations

Collections 1

Papers 3

arxiv:2410.07896

arxiv:2405.13053

arxiv:2311.12351

models 1

ParagonLight/sd_test

Updated Dec 18, 2023

datasets 0

None public yet