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)

29,941 to 30,000 of 116,922

Understanding the Usability of Cryptographic Verification Tools
Tarikul Islam, Yasin Islam, Khandakar Ashrafi Akbar +1
cs.CRarXiv:2609.16323v12026
Provenance-Aware Belief Updating in Human-AI Feedback Loops
Tianyi Huang, Eric Liu, Jay Chong +2
cs.AIarXiv:2610.13008v12026
RuleAutoPilot: Synthesizing Deployable Suricata Rules from Network Traffic
Mughees Ur Rehman, Aritran Piplai, Murat Kantarcioglu
cs.CRarXiv:2609.16231v12026
Game Petri Nets: Compositional Modeling and Analysis of Large-Scale Strategic Systems
Quanyan Zhu
cs.GTcs.SYeess.SYarXiv:2610.12779v12026
HINormer: Representation Learning On Heterogeneous Information Networks with Graph Transformer
Qiheng Mao, Zemin Liu, Chenghao Liu +1
cs.LGarXiv:2302.11329v22023
Statistical Consequences of Fat Tails: Real World Preasymptotics, Epistemology, and Applications
Nassim Nicholas Taleb
stat.OTq-fin.RMstat.AParXiv:2001.10488v42020
The proximal alternating direction method of multipliers in the nonconvex setting: convergence analysis and rates
Radu Ioan Bot, Dang-Khoa Nguyen
math.OCcs.NAmath.NAarXiv:1801.01994v22018
AgentGuard: Learning Execution Guardrails from Anomalous Coding-Agent Trajectories
Wuyang Dai, Song Wang
cs.SEarXiv:2609.16287v12026
MindVLM: Neural-Grounded Visual Captioning via Subject-Aware Semantic Evidence Selection
Zixiang Yin, Yu-Ping Wang, Zhengming Ding
cs.CEarXiv:2610.12673v12026
Evaluating the NIST Bugs Framework Against CWE as a Successor for Automated Vulnerability Classification
Md Nazmul Hoque, Shaswata Mitra, Subash Neupane +2
cs.CRcs.SEarXiv:2609.16433v12026
Organizational Context for the Enterprise Security Brain
Eden Yavin, Ariel Zadok, Gal Engelberg +2
cs.CRarXiv:2610.12540v12026
Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration
Oleg Grynets, Ivan Fedorchuk, Vasyl Lyashkevych
cs.SEcs.DBcs.LOarXiv:2610.12778v12026
Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
Anjan Goswami
cs.SEcs.AIcs.PLarXiv:2609.16302v12026
Polyconvex neural-network surrogates with learned paired directional features for anisotropic hyperelastic homogenization
S. Ares de Parga, A. Cornejo, J. A. Hernández +1
physics.comp-phcs.LGcs.NAarXiv:2610.12801v12026
What Counts as Evidence? Epistemic Cue Utilization in Large Language Models
Jinchang Zhang, Kaijun Jiang, Guoyu Lu
cs.CYarXiv:2610.12788v12026
Not all bytes are equal: Neural byte sieve for fuzzing
Mohit Rajpal, William Blum, Rishabh Singh
cs.SEcs.LGarXiv:1711.04596v12017
Docker Containers vs. Virtual Machines: A Comparative Study of Architecture, Performance, Configuration, and Security
Faraz Gurramkonda, Akanksha Malla, Sayma Tamboli +1
cs.SEarXiv:2609.16148v12026
Analyzing Multi-Factor Authentication Through Cryptographic Security Properties
Ryan Tipping, Yousef Tahboub, Krishna Bodige
cs.CRarXiv:2609.16214v22026
On the Matrix Inversion Approximation Based on Neumann Series in Massive MIMO Systems
Dengkui Zhu, Boyu Li, Ping Liang
cs.ITmath.ITarXiv:1503.05241v12015
SweetieChat: A Strategy-Enhanced Role-playing Framework for Diverse Scenarios Handling Emotional Support Agent
Jing Ye, Lu Xiang, Yaping Zhang +1
cs.CLarXiv:2412.08389v12024
PsyCoT: Psychological Questionnaire as Powerful Chain-of-Thought for Personality Detection
Tao Yang, Tianyuan Shi, Fanqi Wan +4
cs.CLarXiv:2310.20256v22023
DialogueReason: Rule-Based RL Sparks Dialogue Reasoning in LLMs
Yubo Shu, Zhewei Huang, Xin Wu +3
cs.AIarXiv:2505.07049v12025
Rubrics from the Task, Verdicts from Evidence: Pointwise Rubric Rewards with Tool-Augmented Judges
Tianci Liu, Haoyu Wang
cs.CLarXiv:2610.18766v12026
Data-dependent Sample Complexity of Deep Neural Networks via Lipschitz Augmentation
Colin Wei, Tengyu Ma
cs.LGstat.MLarXiv:1905.03684v32019
EpicFlow: Edge-Preserving Interpolation of Correspondences for Optical Flow
Jerome Revaud, Philippe Weinzaepfel, Zaid Harchaoui +1
cs.CVarXiv:1501.02565v22015
RankME: Reliable Human Ratings for Natural Language Generation
Jekaterina Novikova, Ondřej Dušek, Verena Rieser
cs.CLarXiv:1803.05928v12018
SketchFlow: Zero-Shot Vector Sketch Generation via GMM Prior Flow in CLIP Latent Space
Jin Zhou, Hongliang Yang, Pengfei Xu +1
cs.CVarXiv:2608.21659v12026
Coordinate-Free Automatic Differentiation
Alex Guerra, Joshua Aduol, Yaqian Tang +3
cs.LGcs.MSmath.DGarXiv:2610.12776v12026
Expert-level detection of low-voltage intervals in EEG as a robust biomarker of neonatal encephalopathy
John M. O'Toole, Sean R. Mathieson, Aurel Luca +4
cs.LGeess.SPphysics.med-pharXiv:2610.12680v12026
Your Unlearning Gives You Away: Identifying Erased Concepts in Diffusion Models
Kaiyuan Deng, Yuchen Li, Yang Xiao +3
cs.LGcs.AIarXiv:2610.05601v12026
Coaching Qwen3 Coder 30B to Think Like a CodeClash Arena Agent
Ivy Ning Zhang
cs.SEcs.AIarXiv:2609.16096v12026
No Concept Escapes the Audit: Auditing-Aware Unlearning for Verifiable Concept Erasure in Diffusion Models
Kaiyuan Deng, Yuchen Li, Gen Li +5
cs.LGcs.AIarXiv:2610.05401v22026
Shrinkwrap: Differentially-Private Query Processing in Private Data Federations
Johes Bater, Xi He, William Ehrich +2
cs.DBarXiv:1810.01816v12018
Collision-Aware Humanoid Whole-Body Control under Imperfect Tracking Targets
Mohitvishnu S. Gadde, Ashish Malik, Pranay Dugar +3
cs.ROarXiv:2609.16405v22026
XRoboToolKit-T: Teleoperation with High Stability and Precision with Tactile Sensing for Contact-rich Manipulation
Xiwen Dengxiong, Xueting Wang, Ke Jing +2
cs.ROcs.HCarXiv:2609.16437v12026
Auto-HSI: Personalized human control of a robot swarm on demand by using LLMs for online automatic code generation
Alessandro Nazzari, Nathan Cerisara, Dorian Tonnis +5
cs.ROcs.AIcs.HCarXiv:2609.16346v12026
Improving Topic Models with Latent Feature Word Representations
Dat Quoc Nguyen, Richard Billingsley, Lan Du +1
cs.CLcs.IRcs.LGarXiv:1810.06306v12018
The Optimizer Is the Agent: Reasoning-Driven Search across Prompts, Programs, and ML Workflows
Junbo Li, Boyi Liu, Canwen Xu +5
cs.AIarXiv:2608.06714v12026
Bandwidth Fee Mechanisms for Certified Transaction Dissemination
Eleftheria Fassman, Mahimna Kelkar, Benjamin Marsh +1
cs.GTarXiv:2610.00697v12026
Garments2Look: A Multi-Reference Dataset for High-Fidelity Outfit-Level Virtual Try-On with Clothing and Accessories
Junyao Hu, Zhongwei Cheng, Waikeung Wong +1
cs.CVarXiv:2603.14153v12026
Distributed Model-Free Turbine Repositioning for Wake Overlap Minimization in Floating Offshore Wind Farms
Zekai Chen, Ryozo Nagamune
eess.SYcs.SYmath.DSarXiv:2610.08646v12026
T5Gemma-TTS Technical Report
Chihiro Arata, Kiyoshi Kurihara
eess.ASarXiv:2604.01760v12026
$\Delta$Representation: Geometry Supervised Representation Learning of Phenotypes via Counterfactual Reasoning for Medical VLMs
Hao Wang, Qiwei Zeng, Jinghao Lin +6
cs.CVarXiv:2610.10286v12026
Single Image to Textured 3D Object Generation in Frequency Domain: From Theory to Pipeline
Qisen Wang, Yifan Zhao, Jia Li
cs.CVarXiv:2609.07085v12026
CSGNet: Neural Shape Parser for Constructive Solid Geometry
Gopal Sharma, Rishabh Goyal, Difan Liu +2
cs.CVcs.AIarXiv:1712.08290v22017
Geometric Tracking Control of the Attitude Dynamics of a Rigid Body on SO(3)
Taeyoung Lee
math.OCarXiv:1010.1725v12010
UndoBench: Separating Task Competence from Recovery Capability in Tool-Using AI Agents
Dolly Sah, Tanmay Sah, Harshul Jain +1
cs.SEcs.AIarXiv:2610.05622v12026
Polynomial-time algorithms for setting tight big-M coefficients in transmission expansion planning with disconnected buses
Behnam Jabbari-Marand, Adolfo R. Escobedo
cs.DMarXiv:2609.09474v12026
Intent2Tc: Automated Intent-to-Traffic Control Translation with Language Models
Andrea Masini, Sudipta Acharya, Paolo Bellavista +2
cs.NIcs.AIcs.CLarXiv:2609.31397v12026
2D Coprime Pilots for Delay-Doppler Sensing in OFDM-ISAC Systems
Guanping Shang, Zeyan Zhuang, Anzheng Tang +2
eess.SParXiv:2610.11172v12026
FILIP: Fine-grained Interactive Language-Image Pre-Training
Lewei Yao, Runhui Huang, Lu Hou +7
cs.CVcs.LGarXiv:2111.07783v12021
Deep CT to MR Synthesis using Paired and Unpaired Data
Cheng-Bin Jin, Hakil Kim, Wonmo Jung +6
cs.CVarXiv:1805.10790v22018
Near-Field Beamforming Design for Multi-IRS Wireless Beam Routing
Tao Wang, Changsheng You, Changchuan Yin
eess.SParXiv:2610.10155v12026
Breaking the Token Ceiling: Distilling Smaller, Stronger Byte Models
Kalyani Marathe, Artidoro Pagnoni, Tomasz Limisiewicz +4
cs.CLcs.AIcs.LGarXiv:2609.12303v12026
Story Imprinting: AI Assistants Absorb Traits from Human Characters They Resemble
Jorio Cocola, Lev McKinney, Harry Mayne +2
cs.LGcs.AIcs.CLarXiv:2609.10883v12026
Breaking Two Barriers for Dynamic Planar Reachability
Adam Karczmarz, Michał Włodarczyk
cs.DSarXiv:2610.13473v12026
Low Mach Number Limit of Viscous Compressible Magnetohydrodynamic Flows
Xianpeng Hu, Dehua Wang
math.APmath-pharXiv:0904.3726v12009
EMERGE-Policy: A Robot Mind Emerges Beyond a Single Policy
Zhirui Fang, Qingchi Yu, Ziyang Chen +18
cs.ROarXiv:2608.29896v12026
Semiparametric Inference for Conditional Shapley Feature Importance
Agostino Gnasso
stat.MEstat.MLarXiv:2609.10313v32026
Linear programming bounds for binary and ternary LCD Codes
Ming-Hsuan Kang, Maosheng Xiong
cs.ITcs.DMmath.COarXiv:2609.08662v22026

Every paper with a summary

Understanding the Usability of Cryptographic Verification Tools

Provenance-Aware Belief Updating in Human-AI Feedback Loops

RuleAutoPilot: Synthesizing Deployable Suricata Rules from Network Traffic

Game Petri Nets: Compositional Modeling and Analysis of Large-Scale Strategic Systems

HINormer: Representation Learning On Heterogeneous Information Networks with Graph Transformer

Statistical Consequences of Fat Tails: Real World Preasymptotics, Epistemology, and Applications

The proximal alternating direction method of multipliers in the nonconvex setting: convergence analysis and rates

AgentGuard: Learning Execution Guardrails from Anomalous Coding-Agent Trajectories

MindVLM: Neural-Grounded Visual Captioning via Subject-Aware Semantic Evidence Selection

Evaluating the NIST Bugs Framework Against CWE as a Successor for Automated Vulnerability Classification

Organizational Context for the Enterprise Security Brain

Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration

Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change

Polyconvex neural-network surrogates with learned paired directional features for anisotropic hyperelastic homogenization

What Counts as Evidence? Epistemic Cue Utilization in Large Language Models

Not all bytes are equal: Neural byte sieve for fuzzing

Docker Containers vs. Virtual Machines: A Comparative Study of Architecture, Performance, Configuration, and Security

Analyzing Multi-Factor Authentication Through Cryptographic Security Properties

On the Matrix Inversion Approximation Based on Neumann Series in Massive MIMO Systems

SweetieChat: A Strategy-Enhanced Role-playing Framework for Diverse Scenarios Handling Emotional Support Agent

PsyCoT: Psychological Questionnaire as Powerful Chain-of-Thought for Personality Detection

DialogueReason: Rule-Based RL Sparks Dialogue Reasoning in LLMs

Rubrics from the Task, Verdicts from Evidence: Pointwise Rubric Rewards with Tool-Augmented Judges

Data-dependent Sample Complexity of Deep Neural Networks via Lipschitz Augmentation

EpicFlow: Edge-Preserving Interpolation of Correspondences for Optical Flow

RankME: Reliable Human Ratings for Natural Language Generation

SketchFlow: Zero-Shot Vector Sketch Generation via GMM Prior Flow in CLIP Latent Space

Coordinate-Free Automatic Differentiation

Expert-level detection of low-voltage intervals in EEG as a robust biomarker of neonatal encephalopathy

Your Unlearning Gives You Away: Identifying Erased Concepts in Diffusion Models

Coaching Qwen3 Coder 30B to Think Like a CodeClash Arena Agent

No Concept Escapes the Audit: Auditing-Aware Unlearning for Verifiable Concept Erasure in Diffusion Models

Shrinkwrap: Differentially-Private Query Processing in Private Data Federations

Collision-Aware Humanoid Whole-Body Control under Imperfect Tracking Targets

XRoboToolKit-T: Teleoperation with High Stability and Precision with Tactile Sensing for Contact-rich Manipulation

Auto-HSI: Personalized human control of a robot swarm on demand by using LLMs for online automatic code generation

Improving Topic Models with Latent Feature Word Representations

The Optimizer Is the Agent: Reasoning-Driven Search across Prompts, Programs, and ML Workflows

Bandwidth Fee Mechanisms for Certified Transaction Dissemination

Garments2Look: A Multi-Reference Dataset for High-Fidelity Outfit-Level Virtual Try-On with Clothing and Accessories

Distributed Model-Free Turbine Repositioning for Wake Overlap Minimization in Floating Offshore Wind Farms

T5Gemma-TTS Technical Report

$\Delta$Representation: Geometry Supervised Representation Learning of Phenotypes via Counterfactual Reasoning for Medical VLMs

Single Image to Textured 3D Object Generation in Frequency Domain: From Theory to Pipeline

CSGNet: Neural Shape Parser for Constructive Solid Geometry

Geometric Tracking Control of the Attitude Dynamics of a Rigid Body on SO(3)

UndoBench: Separating Task Competence from Recovery Capability in Tool-Using AI Agents

Polynomial-time algorithms for setting tight big-M coefficients in transmission expansion planning with disconnected buses

Intent2Tc: Automated Intent-to-Traffic Control Translation with Language Models

2D Coprime Pilots for Delay-Doppler Sensing in OFDM-ISAC Systems

FILIP: Fine-grained Interactive Language-Image Pre-Training

Deep CT to MR Synthesis using Paired and Unpaired Data

Near-Field Beamforming Design for Multi-IRS Wireless Beam Routing

Breaking the Token Ceiling: Distilling Smaller, Stronger Byte Models

Story Imprinting: AI Assistants Absorb Traits from Human Characters They Resemble

Breaking Two Barriers for Dynamic Planar Reachability

Low Mach Number Limit of Viscous Compressible Magnetohydrodynamic Flows

EMERGE-Policy: A Robot Mind Emerges Beyond a Single Policy

Semiparametric Inference for Conditional Shapley Feature Importance

Linear programming bounds for binary and ternary LCD Codes