Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

NJU-LINK Lab

university
https://www.nju-link.com/
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

CheeryLJH  submitted a paper 1 day ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
lxpp  updated a dataset 2 days ago
NJU-LINK/WebCompass
CheeryLJH  submitted a paper 3 days ago
Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution
View all activity

Papers

Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution

DR$^{3}$-Eval: Towards Realistic and Reproducible Deep Research Evaluation

View all Papers

Shihao Li's profile pictureQianqian Xie's profile picturelxp's profile picturejyyyyy's profile picturekevintank666's profile pictureJiaheng Liu's profile picturewzh's profile pictureWang's profile pictureXinkai Ma's profile picturepanyaning's profile pictureYu Chen's profile pictureCaorui Li's profile picturexieweihao's profile pictureyaoyifan's profile pictureQunzhong WANG's profile pictureTao Wang's profile picturestone's profile picturejasmineWang's profile pictureZhe Cao's profile pictureContextbench's profile pictureKosmo CHE's profile picture

NJU-LINK 's models

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs