Good Papers

Showing papers from Ubiquant Show all papers

45%Niche pick
?Niche pickVote to see the score
NeurIPS 2026Institute of Information EngineeShanghai University of Finance aCMUIQuest ResearchRenmin University of ChinaMechanistic interpretability

Iterative Nonlinear Computation Underlying Abstract Reasoning

Zitian Gao, Yilong Chen, Yihao Xiao, Xinyu Yang and 4 more

Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

– ReadersNo votes yet
0/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 0 of 20 reviewers recommend it
lenient 0/5
medium 0/10
strict 0/5
89%Must read
?Must readVote to see the score
NeurIPS 2026PekingBeijing International Center forPeking UniverisityubiquantUbiquantInformation retrieval

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving

LeanSearch v2 retrieves full lemma sets for Lean 4 theorems via embedding-reranking and iterative sketch-retrieve-reflect cycles, achieving 46.1% global premise recovery and 20% proof success.

Guoxiong Gao, Zeming Sun, Jiedong Jiang, Yutong Wang and 4 more

Sydney Poster Session 1, Tue, Dec 8, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026 · ▲ 1 on Hugging Face

– ReadersNo votes yet
16/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 16 of 20 reviewers recommend it
lenient 5/5
medium 8/10
strict 3/5