Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2502.20868
Cited By
ProBench: Benchmarking Large Language Models in Competitive Programming
28 February 2025
Lei Yang
Renren Jin
Ling Shi
Jianxiang Peng
Yue Chen
Deyi Xiong
ReLM
ELM
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"ProBench: Benchmarking Large Language Models in Competitive Programming"
1 / 1 papers shown
Title
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Dimitrios Stamatios Bouras
Yihan Dai
Tairan Wang
Yingfei Xiong
Sergey Mechtaev
LRM
51
0
0
25 Mar 2025
1