Good Papers

Showing papers from Qatar Computing Research Institute Show all papers

57%Worth a look
?Worth a lookVote to see the score
NeurIPS 2026Qatar Computing Research InstituQatar Computing Research InstituAdversarial robustness

VeriVul: A Verification-Guided Framework for Generating Realistic Vulnerability Benchmarks

Ahmed Lekssays, Hamza Mouhcine, Issa Khalil

Sydney Poster Session 4, Wed, Dec 9, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

– ReadersNo votes yet
1/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: 1 of 20 reviewers recommend it
lenient 1/5
medium 0/10
strict 0/5
45%Niche pick
?Niche pickVote to see the score
NeurIPS 2026Information Technology UniversitQatar Computing Research InstituHuazhong AgriculturalRL for LLMs

SPRING: Solver-guided Process Rewards for Novel Logical Reasoning Steps Generation

Muhammad Asif Ali, Mohammad Raza, Wenqing Wang, Huan Wang

Paris Poster Session 2, Wed, Dec 9, 5:00 PM–7:00 PM, Paris Poster Hall · 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