Cover Image

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ji, Shihao, Tan, Haotao, Song, Zihui, Li, Mingyu
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Soft-NBCE: Entropy-Weighted Chunk Fusion for Long-Context
by: Ji, Shihao, et al.
Published: (2026)

MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
by: Ji, Shihao, et al.
Published: (2025)

L-MoE: End-to-End Training of a Lightweight Mixture of Low-Rank Adaptation Experts
by: Ji, Shihao, et al.
Published: (2025)

Credal Transformer: A Principled Approach for Quantifying and Mitigating Hallucinations in Large Language Models
by: Ji, Shihao, et al.
Published: (2025)

Xiaoice: Training-Free Video Understanding via Self-Supervised Spatio-Temporal Clustering of Semantic Features
by: Ji, Shihao, et al.
Published: (2025)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
by: AI, Lumen, et al.
Published: (2025)

Data Scaling as Progressive Coverage of a Predictive Contribution Spectrum
by: Song, Zihui, et al.
Published: (2026)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
by: Zhou, Kuo, et al.
Published: (2025)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
by: Uluşan, Zeynel A., et al.
Published: (2026)

Don't Forget Your Reward Values: Language Model Alignment via Value-based Calibration
by: Mao, Xin, et al.
Published: (2024)

MyGO Multiplex CoT: A Method for Self-Reflection in Large Language Models via Double Chain of Thought Thinking
by: Ji, Shihao, et al.
Published: (2025)

Reflective Preference Optimization (RPO): Enhancing On-Policy Alignment via Hint-Guided Reflection
by: Zhao, Zihui, et al.
Published: (2025)

Generative AI Augmented Induction-based Formal Verification
by: Kumar, Aman, et al.
Published: (2024)

Formalizing Mathematics at Scale
by: Rammal, Ahmad, et al.
Published: (2026)

Reward Model Routing in Alignment
by: Wu, Xinle, et al.
Published: (2025)

Democratizing Reward Design for Personal and Representative Value-Alignment
by: Blair, Carter, et al.
Published: (2024)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

HAVA: Hybrid Approach to Value-Alignment through Reward Weighing for Reinforcement Learning
by: Varys, Kryspin, et al.
Published: (2025)

Process Reward Model with Q-Value Rankings
by: Li, Wendi, et al.
Published: (2024)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
by: Liu, Junqi, et al.
Published: (2026)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
by: Liu, Chengwu, et al.
Published: (2025)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
by: Kumar, Aman, et al.
Published: (2026)

Coarse-to-Fine Process Reward Modeling for Mathematical Reasoning
by: Hu, Yulan, et al.
Published: (2025)

SemiReward: A General Reward Model for Semi-supervised Learning
by: Li, Siyuan, et al.
Published: (2023)

Beyond the First Error: Process Reward Models for Reflective Mathematical Reasoning
by: Yang, Zhaohui, et al.
Published: (2025)

Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
by: Mahdavi, Sadegh, et al.
Published: (2025)

Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)

GRPO and Reflection Reward for Mathematical Reasoning in Large Language Models
by: Wang, Zhijie
Published: (2026)

GUI-Shepherd: Reliable Process Reward and Verification for Long-Sequence GUI Tasks
by: Chen, Cong, et al.
Published: (2025)

RHyVE: Competence-Aware Verification and Phase-Aware Deployment for LLM-Generated Reward Hypotheses
by: Wu, Feiyu, et al.
Published: (2026)

EVER: Edge-Assisted Auto-Verification for Mobile MR-Aided Operation
by: Chen, Jiangong, et al.
Published: (2025)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
by: Bai, Yunsheng, et al.
Published: (2025)

Toward Stable Value Alignment: Introducing Independent Modules for Consistent Value Guidance
by: Chen, Wenhao, et al.
Published: (2026)

RAG-RewardBench: Benchmarking Reward Models in Retrieval Augmented Generation for Preference Alignment
by: Jin, Zhuoran, et al.
Published: (2024)

GDPR Auto-Formalization with AI Agents and Human Verification
by: Nguyen, Ha Thanh, et al.
Published: (2026)

Agentic AI-based Coverage Closure for Formal Verification
by: Pothireddypalli, Sivaram, et al.
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
by: Rajabi, Saeid, et al.
Published: (2025)

Beyond Reward Hacking: Causal Rewards for Large Language Model Alignment
by: Wang, Chaoqi, et al.
Published: (2025)

Adaptive Segment-level Reward: Bridging the Gap Between Action and Reward Space in Alignment
by: Li, Yanshi, et al.
Published: (2024)