Papers
32 papers found
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
Sina Bagheri Nezhad, Yao Li, Ameeta Agrawal
RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library
Jiapeng Wang, Jinhao Jiang, Zhiqiang Zhang et al.
Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries
Joonghyuk Hahn, Yo-Sub Han
CogniTrust: Cognitive Memory-Driven Verifiable Supervision for Robust Hashing
Yiyang Gu, Bohan Wu, Yifang Qin et al.
Promises Made, Promises Kept: Safe Pareto Improvements via Ex Post Verifiable Commitments
Nathaniel Sauerberg, Caspar Oesterheld
Look as You Think: Unifying Reasoning and Visual Evidence Attribution for Verifiable Document RAG via Reinforcement Learning
Shuochen Liu, Pengfei Luo, Chao Zhang et al.
Promoting Efficient Reasoning with Verifiable Stepwise Reward
Chuhuai Yue, Chengqi Dong, Yinan Gao et al.
zkQML: Verifiable and Privacy-Preserving Inference for Quantum Machine Learning (Student Abstract)
Seung Kwon Lee, Seok Bin Son, Joongheon Kim et al.
Rethinking Sample Polarity in Reinforcement Learning with Verifiable Rewards
Xinyu Tang, Yuliang Zhan, Zhixun Li et al.
Crossing the Reward Bridge: Expanding Reinforcement Learning with Verifiable Rewards Across Diverse Domains
Yi Su, Dian Yu, Linfeng Song et al.
Incentivizing Parametric Knowledge via Reinforcement Learning with Verifiable Rewards for Cross-Cultural Entity Translation
Jiang Zhou, Xiaohu Zhao, Xinwei Wu et al.
DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable Constraints
Yinger Zhang, Shutong Jiang, Renhao Li et al.
HarmRLVR: Weaponizing Verifiable Rewards for Harmful LLM Alignment
Yuexiao Liu, Lijun Li, Xingjun Wang et al.
Closing the Spatial Execution Gap in Digital Whiteboards via Verifiable Reinforcement Learning
Chang Liu, Benjamin Wagley, Zibo Wang et al.
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
Lingxiao Tang, He Ye, Zhaoyang Chu et al.
Verifiable LLM-Generated Text Detection via Projected Semantic-Structural Distributions
Ruochong Xiong, Qien Li, Wangwang Lian et al.
FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning
Zhuohan Xie, Daniil Orel, Rushil Thareja et al.
PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineering
Xiangfeng Wang, Hangyu Guo, Yanlin Lai et al.
HTMR: Hybrid Token Masking Reinforcement Learning with Verifiable Rewards for Event Argument Extraction with Multi-Perspective Reasoning
Jianwen Luo, Yongkang Jin, Yu Hong et al.
Powering Verifiable Learning via Automated Evolutionary Data Synthesis
He Du, Bowen Li, Aijun Yang et al.
Backdoors in RLVR: Jailbreak Backdoors in LLMs From Verifiable Reward
Weiyang Guo, Zesheng Shi, Zeen Zhu et al.
Mitigating Lost in Multi-turn Conversation via Curriculum RL with Verifiable Accuracy and Abstention Rewards
Ming Li, Pei Chen, Zhenhao Zhang et al.
Trajectory2Task: Training Robust Tool-Calling Agents with Synthesized Yet Verifiable Data for Complex User Intents
Ziyi Wang, Yuxuan Lu, Yimeng Zhang et al.