Collection by 
Jan 5, 2025
Collections
Discover the best community collections!
Collections trending this week
Collection by 
Mar 25, 2024
Collection by 
Apr 4, 2024
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Advancing LLM Reasoning Generalists with Preference Trees
Paper • 2404.02078 • Published • 46 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 51
Collection by 
Mar 25, 2024
Collection by Apr 22, 2024
-
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Paper • 2401.16467 • Published • 10 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 51 -
How Far Can We Go with Practical Function-Level Program Repair?
Paper • 2404.12833 • Published • 7
Collection by 
Jun 11, 2024
Collection by Feb 15, 2025
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Self-Consistency Preference Optimization
Paper • 2411.04109 • Published • 20 -
Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions
Paper • 2411.14405 • Published • 62 -
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Paper • 2402.03300 • Published • 149
Collection by Jun 30, 2024
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Advancing LLM Reasoning Generalists with Preference Trees
Paper • 2404.02078 • Published • 46 -
McEval: Massively Multilingual Code Evaluation
Paper • 2406.07436 • Published • 41 -
Is Programming by Example solved by LLMs?
Paper • 2406.08316 • Published • 13
Collection by Nov 8, 2024
Collection by Mar 25, 2024
Collection by Jan 5, 2025
Collection by Jun 11, 2024
Collection by Mar 25, 2024
Collection by Feb 15, 2025
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Self-Consistency Preference Optimization
Paper • 2411.04109 • Published • 20 -
Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions
Paper • 2411.14405 • Published • 62 -
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Paper • 2402.03300 • Published • 149
Collection by Apr 4, 2024
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Advancing LLM Reasoning Generalists with Preference Trees
Paper • 2404.02078 • Published • 46 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 51
Collection by Jun 30, 2024
-
V-STaR: Training Verifiers for Self-Taught Reasoners
Paper • 2402.06457 • Published • 9 -
Advancing LLM Reasoning Generalists with Preference Trees
Paper • 2404.02078 • Published • 46 -
McEval: Massively Multilingual Code Evaluation
Paper • 2406.07436 • Published • 41 -
Is Programming by Example solved by LLMs?
Paper • 2406.08316 • Published • 13
Collection by Mar 25, 2024
Collection by Nov 8, 2024
Collection by Apr 22, 2024
-
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Paper • 2401.16467 • Published • 10 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 51 -
How Far Can We Go with Practical Function-Level Program Repair?
Paper • 2404.12833 • Published • 7
Collection by Mar 25, 2024