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

New activity in NJUDeepEngine/MeteoRA-llama3-8b about 1 year ago

[WIP] Upload folder using huggingface_hub (multi-commit d10d1da416c7538da9a9f180b8d5fa13abc059aaaa020ceeb51b2bc5659fdfeb)

#9 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 7e1f44c1a2e89dac65f023eac28f3031188b237ca56d57379740318c855fbac6)

#10 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit d2702db5a7cc11bdfac185f046db28164b7609c16a4a20aa79433941ce5009f1)

#8 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 533c75149a0044a36a28e22e09f1a588fa0e725d0a0a6999c70c61c80a1b13cf)

#6 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 2fc5584e09c0a7fa891c37cff74c70f489117586b4807bcf148ef11d8b752e24)

#5 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 5caa12bccbbe30fad5fc5c313a60bf0fd9820869eaccaed59941ba70a86f3adf)

#11 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 075988f5c95ce454991d64f90f24e93451b4e03d15cb33d749e35497232a3b59)

#4 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit c30150a0c822036dce4fc6375e6782c7de3d8581dbae7f6a0bec672c6d3a058f)

#12 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 389f3bf123019cbb24eeca83f8ed86647781cf836c3a2653b1e2f765b6012d89)

#13 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 7eeac0a157a8ed330c85e9e144e799a39484e06bef0402ef58088cada6f6a373)

#14 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit 2d362f4507604d67cca1aeb3f095a33d64c22e081beccd6697949cc9a58ed60a)

#7 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit f270ecdf0e8974e0081e7ff0252a39ac496a582b09538b435c9a899a59b2ea1d)

#3 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit c62fdb3f449e3bb1a2708347dea63d7af0e9359b601062b1ea460cc9232f31c1)

#1 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit f42f75ea24bf4ccc7b3b796fdcd2d17e692af8c557c26dd7abe36ca14ef35645)

#2 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit f42f75ea24bf4ccc7b3b796fdcd2d17e692af8c557c26dd7abe36ca14ef35645)

#2 opened about 1 year ago by

[WIP] Upload folder using huggingface_hub (multi-commit f42f75ea24bf4ccc7b3b796fdcd2d17e692af8c557c26dd7abe36ca14ef35645)

#2 opened about 1 year ago by