2 papers
cs.AI2026
Neuro-Symbolic Verification on Instruction Following of LLMs
Yiming Su, Kunzhao Xu, Yanjie Gao +4
A fundamental problem of applying Large Language Models (LLMs) to important applications is that LLMs do not always follow instructions, and violations are often hard to observe or…
cs.SE2025
ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
Yiyang Jin, Kunzhao Xu, Hang Li +4
Reinforcement learning with verifiable rewards (RLVR) has advanced the reasoning capabilities of large language models. However, existing methods rely solely on outcome rewards, wi…