Qi Liu (SJTU & SII)

Qi Liu (SJTU & SII) on Hugging Face Daily Papers: 1 papers, 0 in the top 3 of their day, 11 upvotes.

1. Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 10 upvotes, #11 of 2025-05-08

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.