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 • 45 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 50
Collection by 
Mar 25, 2024
Collection by Apr 22, 2024
-
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Paper • 2401.16467 • Published • 9 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 50 -
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 • 19 -
Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions
Paper • 2411.14405 • Published • 60 -
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Paper • 2402.03300 • Published • 152
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 • 45 -
McEval: Massively Multilingual Code Evaluation
Paper • 2406.07436 • Published • 40 -
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 • 19 -
Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions
Paper • 2411.14405 • Published • 60 -
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Paper • 2402.03300 • Published • 152
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 • 45 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 50
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 • 45 -
McEval: Massively Multilingual Code Evaluation
Paper • 2406.07436 • Published • 40 -
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 • 9 -
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Paper • 2404.02575 • Published • 50 -
How Far Can We Go with Practical Function-Level Program Repair?
Paper • 2404.12833 • Published • 7
Collection by Mar 25, 2024