:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Piotrowski, Bartosz, Drzewakowski, Witold, Staniszewski, Konrad, Miłoś, Piotr
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2504.16760
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

KV Cache Transform Coding for Compact Storage in LLM Inference
por: Staniszewski, Konrad, et al.
Publicado: (2025)

Magnushammer: A Transformer-Based Approach to Premise Selection
por: Mikuła, Maciej, et al.
Publicado: (2023)

Probabilistic Forecasting Cryptocurrencies Volatility: From Point to Quantile Forecasts
por: Dudek, Grzegorz, et al.
Publicado: (2025)

tsGT: Stochastic Time Series Modeling With Transformer
por: Kuciński, Łukasz, et al.
Publicado: (2024)

There and Back Again: On the relation between Noise and Image Inversions in Diffusion Models
por: Staniszewski, Łukasz, et al.
Publicado: (2024)

Provenance-Driven Reliable Semantic Medical Image Vector Reconstruction via Lightweight Blockchain-Verified Latent Fingerprints
por: Rasheed, Mohsin, et al.
Publicado: (2025)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
por: Gu, Alex, et al.
Publicado: (2025)

Efficient LLM Moderation with Multi-Layer Latent Prototypes
por: Chrabąszcz, Maciej, et al.
Publicado: (2025)

Generative Universal Verifier as Multimodal Meta-Reasoner
por: Zhang, Xinchen, et al.
Publicado: (2025)

TORE: Token Recycling in Vision Transformers for Efficient Active Visual Exploration
por: Olszewski, Jan, et al.
Publicado: (2023)

From Research Question to Scientific Workflow: Leveraging Agentic AI for Science Automation
por: Balis, Bartosz, et al.
Publicado: (2026)

TensorCommitments: A Lightweight Verifiable Inference for Language Models
por: Baser, Oguzhan, et al.
Publicado: (2026)

Subgoal Search For Complex Reasoning Tasks
por: Czechowski, Konrad, et al.
Publicado: (2021)

Meta-Instance Selection. Instance Selection as a Classification Problem with Meta-Features
por: Blachnik, Marcin, et al.
Publicado: (2025)

AnomaLLMy -- Detecting anomalous tokens in black-box LLMs through low-confidence single-token predictions
por: Witold, Waligóra
Publicado: (2024)

BEND: Bagging Deep Learning Training Based on Efficient Neural Network Diffusion
por: Wei, Jia, et al.
Publicado: (2024)

Verif.ai: Towards an Open-Source Scientific Generative Question-Answering System with Referenced and Verifiable Answers
por: Košprdić, Miloš, et al.
Publicado: (2024)

Theoretical Convergence of SMOTE-Generated Samples
por: Kamalov, Firuz, et al.
Publicado: (2026)

Tiny Inference-Time Scaling with Latent Verifiers
por: Bucciarelli, Davide, et al.
Publicado: (2026)

Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems
por: Xu, Andy, et al.
Publicado: (2026)

Linguistic Fuzzy Information Evolution with Random Leader Election Mechanism for Decision-Making Systems
por: Jia, Qianlei, et al.
Publicado: (2024)

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

LatentAudit: Real-Time White-Box Faithfulness Monitoring for Retrieval-Augmented Generation with Verifiable Deployment
por: Yu, Zhe, et al.
Publicado: (2026)

Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
por: Zawalski, Michał, et al.
Publicado: (2022)

Real-World Planning with PDDL+ and Beyond
por: Piotrowski, Wiktor, et al.
Publicado: (2024)

The FABRIC Strategy for Verifying Neural Feedback Systems
por: Akinwande, Samuel I., et al.
Publicado: (2026)

Catalytic Role Of Noise And Necessity Of Inductive Biases In The Emergence Of Compositional Communication
por: Kuciński, Łukasz, et al.
Publicado: (2021)

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

Promoting Efficient Reasoning with Verifiable Stepwise Reward
por: Yue, Chuhuai, et al.
Publicado: (2025)

Energy-Efficient Deep Learning Without Backpropagation: A Rigorous Evaluation of Forward-Only Algorithms
por: Spyra, Przemysław, et al.
Publicado: (2025)

HypeLoRA: Hyper-Network-Generated LoRA Adapters for Calibrated Language Model Fine-Tuning
por: Trojan, Bartosz, et al.
Publicado: (2026)

Impact of Code Context and Prompting Strategies on Automated Unit Test Generation with Modern General-Purpose Large Language Models
por: Walczak, Jakub, et al.
Publicado: (2025)

Verifying Meta-Awareness via Predictive Rewards in Reasoning Models
por: Kim, Yoonjeon, et al.
Publicado: (2025)

Contrastive Representations for Temporal Reasoning
por: Ziarko, Alicja, et al.
Publicado: (2025)

Hyperbolic Residual Quantization: Discrete Representations for Data with Latent Hierarchies
por: Piękos, Piotr, et al.
Publicado: (2025)

An Efficient Rubric-based Generative Verifier for Search-Augmented LLMs
por: Ma, Linyue, et al.
Publicado: (2025)

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

VerifAI: A Verifiable Open-Source Search Engine for Biomedical Question Answering
por: Košprdić, Miloš, et al.
Publicado: (2026)

Joint MoE Scaling Laws: Mixture of Experts Can Be Memory Efficient
por: Ludziejewski, Jan, et al.
Publicado: (2025)

Active Epistemic Control for Query-Efficient Verified Planning
por: Qu, Shuhui
Publicado: (2026)