R1-Code-Interpreter: Training LLMs to Reason with Code via Supervised and Reinforcement Learning Paper • 2505.21668 • Published May 27 • 2
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance Paper • 2502.04350 • Published Feb 4 • 11 • 5
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance Paper • 2502.04350 • Published Feb 4 • 11
R1-Code-Interpreter: Training LLMs to Reason with Code via Supervised and Reinforcement Learning Paper • 2505.21668 • Published May 27 • 2
R1-Code-Interpreter: Training LLMs to Reason with Code via Supervised and Reinforcement Learning Paper • 2505.21668 • Published May 27 • 2 • 2
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models Paper • 2305.07766 • Published May 12, 2023 • 1
Steering Large Language Models between Code Execution and Textual Reasoning Paper • 2410.03524 • Published Oct 4, 2024 • 3
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance Paper • 2502.04350 • Published Feb 4 • 11
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools Paper • 2404.11891 • Published Apr 18, 2024
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling Paper • 2402.08702 • Published Feb 13, 2024