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
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance Paper • 2502.04350 • Published Feb 4 • 11 • 5
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