:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Sazonova, Varvara, Shmelkin, Dmitri, Kikot, Stanislav, Motolygin, Vasily
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2602.20770
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On The Expressive Power of Knowledge Graph Embedding Methods
por: Gao, Jiexing, et al.
Publicado: (2024)

Secure Tool Manifest and Digital Signing Solution for Verifiable MCP and LLM Pipelines
por: Jamshidi, Saeid, et al.
Publicado: (2026)

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

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

Verifier-Backed Hard Problem Generation for Mathematical Reasoning
por: Lai, Yuhang, et al.
Publicado: (2026)

GeoBenchX: Benchmarking LLMs in Agent Solving Multistep Geospatial Tasks
por: Krechetova, Varvara, et al.
Publicado: (2025)

Visions of Destruction: Exploring a Potential of Generative AI in Interactive Art
por: Sola, Mar Canet, et al.
Publicado: (2024)

Grade Score: Quantifying LLM Performance in Option Selection
por: Iourovitski, Dmitri
Publicado: (2024)

APIGen: Automated Pipeline for Generating Verifiable and Diverse Function-Calling Datasets
por: Liu, Zuxin, et al.
Publicado: (2024)

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
por: Balan, Kar, et al.
Publicado: (2025)

SkillGenBench: Benchmarking Skill Generation Pipelines for LLM Agents
por: Zhou, Yifan, et al.
Publicado: (2026)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
por: Ospanov, Azim, et al.
Publicado: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
por: Cramer, Marcos, et al.
Publicado: (2025)

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier
por: Zhong, Jianyuan, et al.
Publicado: (2025)

Do We Need Frontier Models to Verify Mathematical Proofs?
por: Naik, Aaditya, et al.
Publicado: (2026)

PRISM: Generation-Time Detection and Mitigation of Secret Leakage in Multi-Agent LLM Pipelines
por: Tapwal, Riya, et al.
Publicado: (2026)

DeepPavlov at SemEval-2024 Task 8: Leveraging Transfer Learning for Detecting Boundaries of Machine-Generated Texts
por: Voznyuk, Anastasia, et al.
Publicado: (2024)

RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library
por: Wang, Jiapeng, et al.
Publicado: (2025)

GLOVE: Global Verifier for LLM Memory-Environment Realignment
por: Yin, Xingkun, et al.
Publicado: (2026)

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

Situational Agency: The Framework for Designing Behavior in Agent-based art
por: Huang, Ary-Yue, et al.
Publicado: (2025)

Why Open Small AI Models Matter for Interactive Art
por: Sola, Mar Canet, et al.
Publicado: (2025)

Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
por: Mu, Jianan, et al.
Publicado: (2025)

MedRule-KG: A Knowledge-Graph--Steered Scaffold for Mathematical Reasoning with a Lightweight Verifier
por: Su, Crystal
Publicado: (2025)

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
por: Qasim, Kaleem Ullah, et al.
Publicado: (2026)

From Stochastic Answers to Verifiable Reasoning: Interpretable Decision-Making with LLM-Generated Code
por: Mahesh, Anirudh Jaidev, et al.
Publicado: (2026)

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots
por: Grigorev, Danil S., et al.
Publicado: (2025)

Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem
por: Quesnel, Valentin, et al.
Publicado: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
por: Suresh, Tarun, et al.
Publicado: (2025)

Why Retrying Fails: Context Contamination in LLM Agent Pipelines
por: Yang, Zhanfu
Publicado: (2026)

Planning in the Dark: LLM-Symbolic Planning Pipeline without Experts
por: Huang, Sukai, et al.
Publicado: (2024)

Automatic Configuration of LLM Post-Training Pipelines
por: Chwa, Channe, et al.
Publicado: (2026)

STACK: Adversarial Attacks on LLM Safeguard Pipelines
por: McKenzie, Ian R., et al.
Publicado: (2025)

Towards Automated Solution Recipe Generation for Industrial Asset Management with LLM
por: Zhou, Nianjun, et al.
Publicado: (2024)

Evaluating Novelty in AI-Generated Research Plans Using Multi-Workflow LLM Pipelines
por: Saraogi, Devesh, et al.
Publicado: (2025)

Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations
por: He, Qisong, et al.
Publicado: (2026)

AEMA: Verifiable Evaluation Framework for Trustworthy and Controlled Agentic LLM Systems
por: Lee, YenTing, et al.
Publicado: (2026)

A Two-Stage LLM Framework for Accessible and Verified XAI Explanations
por: Mermigkis, Georgios, et al.
Publicado: (2026)

Asynchronous Verified Semantic Caching for Tiered LLM Architectures
por: Singh, Asmit Kumar, et al.
Publicado: (2026)

Assessing and Verifying Task Utility in LLM-Powered Applications
por: Arabzadeh, Negar, et al.
Publicado: (2024)