:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Zheng, Shenghe, Huang, Chenyu, Yu, Fangchen, Yao, Junchi, Ye, Jingqi, Chen, Tao, Luo, Yun, Ding, Ning, BAI, LEI, Cui, Ganqu, Ye, Peng
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Computation and Language Machine Learning
Acceso en línea:	https://arxiv.org/abs/2509.24285
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scaling Physical Reasoning with the PHYSICS Dataset
por: Zheng, Shenghe, et al.
Publicado: (2025)

RLPR: Extrapolating RLVR to General Domains without Verifiers
por: Yu, Tianyu, et al.
Publicado: (2025)

P1: Mastering Physics Olympiads with Reinforcement Learning
por: Chen, Jiacheng, et al.
Publicado: (2025)

Think Longer to Explore Deeper: Learn to Explore In-Context via Length-Incentivized Reinforcement Learning
por: Wang, Futing, et al.
Publicado: (2026)

Teaching Thinking Models to Reason with Tools: A Full-Pipeline Recipe for Tool-Integrated Reasoning
por: Cheng, Qianjia, et al.
Publicado: (2026)

InternBootcamp Technical Report: Boosting LLM Reasoning with Verifiable Task Scaling
por: Li, Peiji, et al.
Publicado: (2025)

Scientific QA System with Verifiable Answers
por: Ljajić, Adela, et al.
Publicado: (2024)

PhysicsMinions: Winning Gold Medals in the Latest Physics Olympiads with a Coevolutionary Multimodal Multi-Agent System
por: Yu, Fangchen, et al.
Publicado: (2025)

Steering the Verifiability of Multimodal AI Hallucinations
por: Pang, Jianhong, et al.
Publicado: (2026)

xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
por: Chen, Ding, et al.
Publicado: (2025)

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers
por: Seo, Wooseok, et al.
Publicado: (2025)

CiteAudit: You Cited It, But Did You Read It? A Benchmark for Verifying Scientific References in the LLM Era
por: Shi, Kaiwen, et al.
Publicado: (2026)

HiPhO: How Far Are (M)LLMs from Humans in the Latest High School Physics Olympiad Benchmark?
por: Yu, Fangchen, et al.
Publicado: (2025)

DocScope: Benchmarking Verifiable Reasoning for Trustworthy Long-Document Understanding
por: Feng, Xiang, et al.
Publicado: (2026)

UltraIF: Advancing Instruction Following from the Wild
por: An, Kaikai, et al.
Publicado: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
por: Wu, Jinhua, et al.
Publicado: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
por: Tekriwal, Mohit, et al.
Publicado: (2025)

P1-VL: Bridging Visual Perception and Scientific Reasoning in Physics Olympiads
por: Luo, Yun, et al.
Publicado: (2026)

TextualVerifier: Verify TextGrad Step-by-Step
por: Situmorang, Eugenius Mario, et al.
Publicado: (2025)

VERINA: Benchmarking Verifiable Code Generation
por: Ye, Zhe, et al.
Publicado: (2025)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
por: Wu, Jinhua, et al.
Publicado: (2026)

Verifiable Format Control for Large Language Model Generations
por: Wang, Zhaoyang, et al.
Publicado: (2025)

Draft-OPD: On-Policy Distillation for Speculative Draft Models
por: Lei, Haodi, et al.
Publicado: (2026)

LLatrieval: LLM-Verified Retrieval for Verifiable Generation
por: Li, Xiaonan, et al.
Publicado: (2023)

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
por: Zhang, Ming, et al.
Publicado: (2026)

Scalable Efficient Training of Large Language Models with Low-dimensional Projected Attention
por: Lv, Xingtai, et al.
Publicado: (2024)

Generalizing Verifiable Instruction Following
por: Pyatkin, Valentina, et al.
Publicado: (2025)

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
por: Shao, Zhihong, et al.
Publicado: (2025)

A Unified Study of LoRA Variants: Taxonomy, Review, Codebase, and Empirical Evaluation
por: He, Haonan, et al.
Publicado: (2026)

RLVER: Reinforcement Learning with Verifiable Emotion Rewards for Empathetic Agents
por: Wang, Peisong, et al.
Publicado: (2025)

Dynamic Base model Shift for Delta Compression
por: Huang, Chenyu, et al.
Publicado: (2025)

FRISM: Fine-Grained Reasoning Injection via Subspace-Level Model Merging for Vision-Language Models
por: Huang, Chenyu, et al.
Publicado: (2026)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
por: Liu, Xiaoyuan, et al.
Publicado: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
por: Pezeshkpour, Pouya, et al.
Publicado: (2026)

SCI-IDEA: Context-Aware Scientific Ideation Using Token and Sentence Embeddings
por: Keya, Farhana, et al.
Publicado: (2025)

Game-RL: Synthesizing Multimodal Verifiable Game Data to Boost VLMs' General Reasoning
por: Tong, Jingqi, et al.
Publicado: (2025)

Learning to Self-Verify Makes Language Models Better Reasoners
por: Chen, Yuxin, et al.
Publicado: (2026)

Asking LLMs to Verify First is Almost Free Lunch
por: Wu, Shiguang, et al.
Publicado: (2025)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
por: Zeng, Lingfei, et al.
Publicado: (2025)

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
por: Cui, Zikun, et al.
Publicado: (2025)