Every paper with a summary

Every arXiv paper Paperlayer has summarized so far. Open any of them to read the summary beside the original PDF, with every point linked to the line, figure, or table it came from.

Search paper metadata (including unsummarized papers)

10,561 to 10,620 of 119,609

Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning
Qili Zhang, Qianren Mao, Hanze Cai +11
cs.AIarXiv:2609.37203v12026
Factuality of Large Language Models: A Survey
Yuxia Wang, Minghan Wang, Muhammad Arslan Manzoor +4
cs.CLcs.AIarXiv:2402.02420v32024
A Utility-Theoretic Approach to Privacy in Online Services
Andreas Krause, Eric Horvitz
cs.AIcs.CRcs.CYarXiv:1401.3859v12014
Activity-based temporal hypergraphs: from individual activity to collective social dynamics
Marco Mancastroppa, Giulia Cencetti, Iacopo Iacopini +2
physics.soc-phcond-mat.stat-mechcs.SIarXiv:2610.36333v12026
GLMMLasso: An Algorithm for High-Dimensional Generalized Linear Mixed Models Using L1-Penalization
Jürg Schelldorfer, Lukas Meier, Peter Bühlmann
stat.COmath.STstat.THarXiv:1109.4003v22011
Benchmarking Quality-Dependent and Cost-Sensitive Score-Level Multimodal Biometric Fusion Algorithms
Norman Poh, Thirimachos Bourlai, Josef Kittler +13
cs.CVcs.CRarXiv:2111.08703v12021
Breaking the Illusion of Review Reliability under Static Evaluation: SCOPE Fuzzing for LLM-based Scientific Reviewers
Zhuo Chen, Hao Zeng, Jiawei Liu +6
cs.AIarXiv:2609.37097v12026
Embodied social interaction constitutes social cognition in pairs of humans: A minimalist virtual reality experiment
Tom Froese, Hiroyuki Iizuka, Takashi Ikegami
nlin.AOcs.HCcs.MAarXiv:1401.4158v12014
Quantum Tomography Protocols with Positivity are Compressed Sensing Protocols
Amir Kalev, Robert L. Kosut, Ivan H. Deutsch
quant-phcs.ITmath.ITarXiv:1502.00536v32015
When Should Agents Check External State? Budgeting Observations for Stored Intentions
Zhengkun Di, Bin Shi, Kai Sun +2
cs.AIarXiv:2609.37125v32026
ACTR: Aligning Thoughts and Responses for Multilingual Safety in Reasoning LLMs
Xianhui Zhang, Jian Yu, Chengyu Xie +6
cs.AIarXiv:2609.37054v22026
AFiD-GPU: a versatile Navier-Stokes Solver for Wall-Bounded Turbulent Flows on GPU Clusters
Xiaojue Zhu, Everett Phillips, Vamsi Spandan +9
physics.flu-dynarXiv:1705.01423v12017
A Serious-Game Testbed for Self-Governing Human-Machine Institutions
Callum Berger, Jeremy Pitt, Stefan Sarkadi
cs.MAcs.HCarXiv:2610.36989v12026
Learning Multi-Phase Robot Loco-Manipulation via Phase-Conditioned Policy Optimization
Simone Manni, Annika Wollschläger, Dario Bellicoso +4
cs.ROarXiv:2610.36270v12026
The uneven rise of AI-generated web content
Adam Visokay, Soumyakanti Pan, Molly Griston +10
cs.AIcs.CYcs.NIarXiv:2610.36631v12026
ALADDIN: Adversarial Latent Diffusion Distillation for One-Step Identity Swapping
Ivan Shchekotov, Timofei Gritsaev, Viacheslav Pirogov +1
cs.CVarXiv:2610.37503v12026
Accelerated surrogate dynamics for dynamical, stochastic system evolution
Marco Jochum, Ioannis Kouroudis, Gohar Ali Siddiqui +3
cs.AIarXiv:2609.37184v12026
Improving Learned AC-OPF Feasibility under Distribution Shift with PF-in-the-Loop Correction
Afia Afrin, Omid Ardakanian
eess.SYcs.SYarXiv:2610.36236v12026
Train Ahead, Distill Back: Bootstrapping On-Policy Self-Distillation for Large Language Models
Zheng Zhang, Xinyue Tan, Lufei Li +3
cs.AIarXiv:2609.37132v12026
Comparative analysis of imaging configurations and objectives for Fourier microscopy
Jonathan A. Kurvits, Mingming Jiang, Rashid Zia
physics.opticsarXiv:1507.04037v22015
Person Re-Identification by Unsupervised Video Matching
Xiaolong Ma, Xiatian Zhu, Shaogang Gong +4
cs.CVarXiv:1611.08512v22016
The proton structure one mode at a time: a Neural Tangent Kernel analysis of a DIS fit
Amedeo Chiefa, Luigi Del Debbio, Richard Kenway
hep-phcs.LGarXiv:2610.36034v12026
Physics-Informed Multi-Agent Coordination for Hospital Patient Flow Optimization
Guoqing Zhang, Rafik Hadfi, Takayuki Ito
cs.AIcs.MAarXiv:2609.37022v12026
Watch-Think-Interact: Bootstrapping Long-Horizon Multi-Turn Streaming Video Reasoning with Reinforcement Learning
Ziheng Huang, Yicheng Bao, Xueheng Li +8
cs.AIarXiv:2609.37035v12026
Language as the Interface: Foundation-Model Contrastive Learning Links Transcriptomes and Electrophysiology
Junbo Shen, Jinying Gao, Bo Lei
cs.AIarXiv:2609.37024v12026
FedLAFP: Low-Rank Aggregation Meets Full-Rank Personalization in Federated Fine-Tuning
Mengjun Yi, Huaian Gu, Yinghao Ai +2
cs.AIarXiv:2609.37033v12026
Deep Learning Volumetric Segmentation for Prediction of Cavity Geometry in Underground Jet Boring Mining
Giovanni Zingaro, Yuan Wang, Deepak Meena +4
cs.CEarXiv:2610.36303v12026
Enhancing Clinical Classifier Robustness with Deep Representation Learning Based OOD Detection on DNA Methylation Data
Md Zahangir Alom, Quynh T. Tran, Breuer Alexandar +1
q-bio.GNcs.AIcs.LGarXiv:2610.36344v12026
Pricing Cross-Bank Context in Federated Anti-Money Laundering
Lidia Losavio, Dario Fenoglio, Martin Gjoreski +1
cs.CRcs.AIarXiv:2610.35996v12026
Do Coding Agents Still Need a Debugger? Frontier-Model-Based Fault Localization at the Accuracy Ceiling
Christoph Daxerer, Johann Glock, Christian Macho +3
cs.SEcs.AIarXiv:2610.36015v12026
Long-term Visual Localization using Semantically Segmented Images
Erik Stenborg, Carl Toft, Lars Hammarstrand
cs.CVarXiv:1801.05269v22018
TomoGAN: Low-Dose Synchrotron X-Ray Tomography with Generative Adversarial Networks
Zhengchun Liu, Tekin Bicer, Rajkumar Kettimuthu +3
cs.CVarXiv:1902.07582v52019
Physical Layer Communications System Design Over-the-Air Using Adversarial Networks
Timothy J. O'Shea, Tamoghna Roy, Nathan West +1
eess.SPcs.LGarXiv:1803.03145v12018
Summaries:简体中文
A Grasping-centered Analysis for Cloth Manipulation
Júlia Borràs, Guillem Alenya, Carme Torras
cs.ROarXiv:1906.08202v22019
CADOC: Cache-Aware Dynamic Object Context for Long-Horizon Agents
Junjie Yao, Zhangchen Zhou, Zhi-Qin John Xu
cs.AIarXiv:2609.37012v12026
UAV-Involved Wireless Physical-Layer Secure Communications: Overview and Research Directions
Hui-Ming Wang, Xu Zhang, Jia-Cheng Jiang
eess.SPcs.ITcs.NIarXiv:1906.09701v12019
ImbalancE: Inference-Time Latent Search Against Degree Imbalance in Link Prediction
Alberto Bernardi, Luca Costabello, Christophe Gueret
cs.AIcs.LGarXiv:2609.36996v12026
Arbitrarily High-order Unconditionally Energy Stable Schemes for Thermodynamically Consistent Gradient Flow Models
Yuezheng Gong, Jia Zhao, Qi Wang
math.NAcs.NAarXiv:1907.05341v12019
TAO: Tool-Aware Joint Scheduling for LLM-Based Agentic Serving
Shuhuai Li, Shengdong Ye, Dongdong Ge +2
cs.DCarXiv:2610.37230v12026
Efficient regime boundary detection in discontinuous simulation models
Federico Betti, Eleni Chatzi, Paolo Tiso
physics.comp-phcs.CEarXiv:2610.36092v12026
SG^2SLAM: Spatial Geometry-Informed 3D Gaussian Splatting SLAM for Monocular Outdoor Navigation
Ziang Guo, Didar Seyidov, Yixiao Zhou +5
cs.ROarXiv:2610.36312v12026
Jaxnasium: Embracing PyTrees For Any-Agent, Cross-Suite Reinforcement Learning
Koen Ponse, Aske Plaat, Thomas M. Moerland
cs.LGcs.DLarXiv:2610.36075v12026
REALHOP: Rethinking Multi-Hop Reasoning Evaluation via Behavioral Auditing
Jiawen Tao, Xiaokun Yuan, Yaoming Li +4
cs.AIarXiv:2609.36984v12026
CoEM: Empowering Long-Context Reasoning with Commit-on-Evidence Memory
Jingguang Li, Yebo Wu, Zuyi Guo +7
cs.AIcs.CLarXiv:2609.36935v22026
VLALight: A Vision-Language-Action Model for Traffic Signal Control
Pan Zhang, Siqi Lai, Kemu Dong +1
cs.AIarXiv:2609.36934v12026
Blockchain Technologies for Smart Energy Systems: Fundamentals, Challenges and Solutions
Naveed UL Hassan, Chau Yuen, Dusit Niyato
cs.CYcs.CRarXiv:1909.02914v12019
Multichannel Sampling and Reconstruction in Multidimensional Shift-Invariant Spaces
Riya Ghosh, Satish Mulleti, Chandra Sekhar Seelamantula
eess.SParXiv:2610.36142v12026
CF-LoRA: Decoupled Factor Aggregation and Adaptation-Aware Client Clustering for Federated LoRA Fine-Tuning
Mengjun Yi, Langxing Yang, Suhan Guo +2
cs.AIcs.DCarXiv:2609.36986v12026
On the Quantum versus Classical Learnability of Discrete Distributions
Ryan Sweke, Jean-Pierre Seifert, Dominik Hangleiter +1
quant-phcs.LGarXiv:2007.14451v22020
Machine Learning for Intelligent Authentication in 5G-and-Beyond Wireless Networks
He Fang, Xianbin Wang, Stefano Tomasin
cs.CRcs.LGstat.MLarXiv:1907.00429v22019
On the Ethereum Blockchain Structure: a Complex Networks Theory Perspective
Stefano Ferretti, Gabriele D'Angelo
cs.CRcs.DCcs.NIarXiv:1908.11808v12019
An Unconditional Space-Approximation Lower Bound for Semi-Streaming Matching
Yang P. Liu, Kheeran Naidu, Hoai-An Nguyen +1
cs.DSarXiv:2610.36577v12026
Creativity in translation: machine translation as a constraint for literary texts
Ana Guerberof Arenas, Antonio Toral
cs.CLcs.HCarXiv:2204.05655v12022
Reconfigurable Intelligent Surfaces for N-LOS Radar Surveillance
Augusto Aubry, Antonio De Maio, Massimo Rosamilia
eess.SParXiv:2104.00456v22021
Compatibility and future-proof testing for multi-agent systems
Yueshan Li, Lorenzo Fiaschi, Andrea Censi +1
cs.MAcs.ROarXiv:2610.36289v12026
Scalable deeper graph neural networks for high-performance materials property prediction
Sadman Sadeed Omee, Steph-Yves Louis, Nihang Fu +5
cond-mat.mtrl-scics.LGarXiv:2109.12283v12021
Learning to Read Braille: Benchmarking and Improving Braille Recognition Capabilities of VLMs
Kartik Jangra, Atharva Gawane, Siddharth Pulipaka +2
cs.CVcs.CLarXiv:2610.36195v12026
State Trace Rationale As Auxiliary Task in Reinforcement Learning
Muhammad U. Nasir, Alex Vogt, Steven D. James +1
cs.AIarXiv:2609.36867v12026
Kinetic Axion $F(R)$ Gravity Inflation
V. K. Oikonomou
gr-qcastro-ph.COhep-tharXiv:2208.05544v12022
Learn from the Gap: Differential-Aware Advantage Pruning with Adaptive Rollout Sampling for GRPO
Jiahua Yang, Zhiwei Yang, Xianpeng Zhang +7
cs.AIarXiv:2609.36932v32026

Every paper with a summary

Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning

Factuality of Large Language Models: A Survey

A Utility-Theoretic Approach to Privacy in Online Services

Activity-based temporal hypergraphs: from individual activity to collective social dynamics

GLMMLasso: An Algorithm for High-Dimensional Generalized Linear Mixed Models Using L1-Penalization

Benchmarking Quality-Dependent and Cost-Sensitive Score-Level Multimodal Biometric Fusion Algorithms

Breaking the Illusion of Review Reliability under Static Evaluation: SCOPE Fuzzing for LLM-based Scientific Reviewers

Embodied social interaction constitutes social cognition in pairs of humans: A minimalist virtual reality experiment

Quantum Tomography Protocols with Positivity are Compressed Sensing Protocols

When Should Agents Check External State? Budgeting Observations for Stored Intentions

ACTR: Aligning Thoughts and Responses for Multilingual Safety in Reasoning LLMs

AFiD-GPU: a versatile Navier-Stokes Solver for Wall-Bounded Turbulent Flows on GPU Clusters

A Serious-Game Testbed for Self-Governing Human-Machine Institutions

Learning Multi-Phase Robot Loco-Manipulation via Phase-Conditioned Policy Optimization

The uneven rise of AI-generated web content

ALADDIN: Adversarial Latent Diffusion Distillation for One-Step Identity Swapping

Accelerated surrogate dynamics for dynamical, stochastic system evolution

Improving Learned AC-OPF Feasibility under Distribution Shift with PF-in-the-Loop Correction

Train Ahead, Distill Back: Bootstrapping On-Policy Self-Distillation for Large Language Models

Comparative analysis of imaging configurations and objectives for Fourier microscopy

Person Re-Identification by Unsupervised Video Matching

The proton structure one mode at a time: a Neural Tangent Kernel analysis of a DIS fit

Physics-Informed Multi-Agent Coordination for Hospital Patient Flow Optimization

Watch-Think-Interact: Bootstrapping Long-Horizon Multi-Turn Streaming Video Reasoning with Reinforcement Learning

Language as the Interface: Foundation-Model Contrastive Learning Links Transcriptomes and Electrophysiology

FedLAFP: Low-Rank Aggregation Meets Full-Rank Personalization in Federated Fine-Tuning

Deep Learning Volumetric Segmentation for Prediction of Cavity Geometry in Underground Jet Boring Mining

Enhancing Clinical Classifier Robustness with Deep Representation Learning Based OOD Detection on DNA Methylation Data

Pricing Cross-Bank Context in Federated Anti-Money Laundering

Do Coding Agents Still Need a Debugger? Frontier-Model-Based Fault Localization at the Accuracy Ceiling

Long-term Visual Localization using Semantically Segmented Images

TomoGAN: Low-Dose Synchrotron X-Ray Tomography with Generative Adversarial Networks

Physical Layer Communications System Design Over-the-Air Using Adversarial Networks

A Grasping-centered Analysis for Cloth Manipulation

CADOC: Cache-Aware Dynamic Object Context for Long-Horizon Agents

UAV-Involved Wireless Physical-Layer Secure Communications: Overview and Research Directions

ImbalancE: Inference-Time Latent Search Against Degree Imbalance in Link Prediction

Arbitrarily High-order Unconditionally Energy Stable Schemes for Thermodynamically Consistent Gradient Flow Models

TAO: Tool-Aware Joint Scheduling for LLM-Based Agentic Serving

Efficient regime boundary detection in discontinuous simulation models

SG^2SLAM: Spatial Geometry-Informed 3D Gaussian Splatting SLAM for Monocular Outdoor Navigation

Jaxnasium: Embracing PyTrees For Any-Agent, Cross-Suite Reinforcement Learning

REALHOP: Rethinking Multi-Hop Reasoning Evaluation via Behavioral Auditing

CoEM: Empowering Long-Context Reasoning with Commit-on-Evidence Memory

VLALight: A Vision-Language-Action Model for Traffic Signal Control

Blockchain Technologies for Smart Energy Systems: Fundamentals, Challenges and Solutions

Multichannel Sampling and Reconstruction in Multidimensional Shift-Invariant Spaces

CF-LoRA: Decoupled Factor Aggregation and Adaptation-Aware Client Clustering for Federated LoRA Fine-Tuning

On the Quantum versus Classical Learnability of Discrete Distributions

Machine Learning for Intelligent Authentication in 5G-and-Beyond Wireless Networks

On the Ethereum Blockchain Structure: a Complex Networks Theory Perspective

An Unconditional Space-Approximation Lower Bound for Semi-Streaming Matching

Creativity in translation: machine translation as a constraint for literary texts

Reconfigurable Intelligent Surfaces for N-LOS Radar Surveillance

Compatibility and future-proof testing for multi-agent systems

Scalable deeper graph neural networks for high-performance materials property prediction

Learning to Read Braille: Benchmarking and Improving Braille Recognition Capabilities of VLMs

State Trace Rationale As Auxiliary Task in Reinforcement Learning

Kinetic Axion $F(R)$ Gravity Inflation

Learn from the Gap: Differential-Aware Advantage Pruning with Adaptive Rollout Sampling for GRPO