Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
The Easy, the Hard, and the Learnable: Confidence and Difficulty-Adaptive Policy Optimization for LLM Reasoning
Zhanke Zhou, Xiangyu Lu, Chentao Cao +4
RL with verifiable rewards can substantially improve LLM reasoning, yet standard GRPO-style training often treats easy, hard, and learnable questions alike through uniform sampling…
cs.LG2024
An Evaluation Benchmark for Autoformalization in Lean4
Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra +2
Large Language Models (LLMs) hold the potential to revolutionize autoformalization. The introduction of Lean4, a mathematical programming language, presents an unprecedented opport…