Co-occurring keywords
Papers
Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models
IJCAI 2025
NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning
EMNLP 2025
Auto-Weighted Group Relative Preference Optimization for Multi-Objective Text Generation Tasks
EMNLP 2025