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)

17,341 to 17,400 of 115,648

Graphical models for marked point processes based on local independence
Vanessa Didelez
math.STarXiv:0710.5874v12007
Moving Regions, Not Moving Objects: Segmenting What Actually Moves under Camera Motion
Wenhua Jin, Tiancheng Chen, Sheng Tang +5
cs.CVarXiv:2610.31209v12026
Lightweight Frame Compensation for Real-Time Polyp Segmentation under Frame Skipping
Weihao Gao
cs.CVarXiv:2610.31228v12026
From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipeline
Tianle Li, Wei-Lin Chiang, Evan Frick +5
cs.LGcs.AIcs.CLarXiv:2406.11939v22024
Toward an Ising Model of Cancer and Beyond
Salvatore Torquato
q-bio.CBcond-mat.softarXiv:1010.6284v22010
Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring
Indraneil Paul, Goran Glavaš, Iryna Gurevych
cs.SEcs.LGarXiv:2605.00754v42026
All-optical polariton transistor
Dario Ballarini, Milena De Giorgi, Emiliano Cancellieri +6
cond-mat.mes-hallcond-mat.quant-gasphysics.opticsarXiv:1201.4071v32012
LIKWID: A lightweight performance-oriented tool suite for x86 multicore environments
Jan Treibig, Georg Hager, Gerhard Wellein
cs.DCcs.PFarXiv:1004.4431v32010
The Formalization of two Computational Models in Dafny
Ştefan Ciobâc\b{a}, Diana-Elena Gratie, Dragoş-Irinel Rotariu
cs.LOcs.FLcs.PLarXiv:2609.34883v12026
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
Janis Kröger, Paul Kröger, Martin Fränzle
cs.GTcs.LOarXiv:2609.34878v12026
Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Andrei Aldea, Dumitru-Bogdan Prelipcean
cs.SEarXiv:2609.34873v12026
Random Walks, Markov Processes and the Multiscale Modular Organization of Complex Networks
Renaud Lambiotte, Jean-Charles Delvenne, Mauricio Barahona
physics.soc-phcond-mat.stat-mechcs.SIarXiv:1502.04381v12015
Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Ioana Silaş, Adrian Crăciun
cs.LOcs.DCarXiv:2609.34881v12026
A Tutorial on Bayesian Nonparametric Models
Samuel J. Gershman, David M. Blei
stat.MLstat.MEarXiv:1106.2697v22011
How Deep Are Deep Gaussian Processes?
Matthew M. Dunlop, Mark A. Girolami, Andrew M. Stuart +1
math.STstat.THarXiv:1711.11280v22017
CrisiLangs: A Multilingual Resource for Crisis Warning Generation
Giacomo Gonella, Stefano Menini, Marco Guerini
cs.CLarXiv:2610.31356v12026
UNMATCH: Selective Unbalanced Token-Patch Matching for Forensic Image-Claim Verification
Xinjin Li, Lian Lian, Yuanzhe Yang +6
cs.CVarXiv:2609.31766v12026
Reduced Cartesian Kinetostatics for Tendon-Driven Continuum Robots: Residual-Stabilized Full-Shape Propagation
Ke Wu, Fangju Yang, Xiaohui Zhang +3
cs.ROarXiv:2609.31771v12026
SpectralCanary: Embarrassingly Simple Low-Frequency Traces for T2I Dataset-Use Auditing
Sy-Tuyen Ho, Anirudh Satheesh, Soham Chawathe +4
cs.CVcs.LGarXiv:2610.31659v12026
An Evaluation of Popular Copy-Move Forgery Detection Approaches
Vincent Christlein, Christian Riess, Johannes Jordan +2
cs.CVarXiv:1208.3665v22012
Action Learning for Scientific Simulations
Sarah Liaw, Yuanqi Du, Yilun Du
cs.LGarXiv:2610.31585v12026
Energy and Latency First: How Deployment Constraints Reverse Time-Series Model Selection
Shruti Bothe, Illyyne Saffar, Ayush K. Varshney
cs.LGarXiv:2610.30965v12026
Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Alexandre Berard, Richard B. Kreckel
cs.SEarXiv:2609.34871v12026
Beyond MSE: Rician Likelihood Denoising for Self-Supervised Cardiac $T2$ and $T1\rho$ MRI
Nicholas A. Jacobs, Jason Mendes, Ravi Ranjan +2
eess.IVcs.CVarXiv:2609.31777v22026
On representing chemical environments
Albert P. Bartók, Risi Kondor, Gábor Csányi
physics.comp-phcond-mat.mtrl-sciarXiv:1209.3140v32012
Last but not Least: Additional Positional Effects on Citation and Readership in arXiv
Asif-ul Haque, Paul Ginsparg
cs.DLastro-ph.IMhep-pharXiv:1010.2757v12010
Towards User Simulators That Stay On Task And Still Sound Natural
Mustafa Omer Gul, Philippe Laban, Tanya Goyal +1
cs.CLarXiv:2610.31512v12026
HGPTrans: Hierarchical Graph-Pooling Transolver for Automotive Aerodynamic Drag Coefficient Prediction
Bo Liu, Fengli Zhang, Qiuli Luo +2
cs.CVphysics.flu-dynarXiv:2609.31765v22026
GraphLab: A New Framework For Parallel Machine Learning
Yucheng Low, Joseph E. Gonzalez, Aapo Kyrola +3
cs.LGcs.DCarXiv:1408.2041v12014
Reinforcement Learning
Olivier Buffet, Olivier Pietquin, Paul Weng
cs.LGstat.MLarXiv:2005.14419v22020
A Survey on Open Radio Access Networks: Challenges, Research Directions, and Open Source Approaches
Wilfrid Azariah, Fransiscus Asisi Bimo, Chih-Wei Lin +3
cs.NIarXiv:2208.09125v22022
Vision Transformer with Super Token Sampling
Huaibo Huang, Xiaoqiang Zhou, Jie Cao +2
cs.CVarXiv:2211.11167v22022
Simulated Control Evals
Jeffrey Olmo, David Zhang, Tyler Tracy
cs.AIarXiv:2610.31593v12026
Suitable Measures for the Potential Operational Utility of AI NWP Rainfall Forecasts Over Africa
Shruti Nath, Docko Sow, Koomi Toussaint Amoussouvi +5
stat.APcs.LGphysics.ao-pharXiv:2609.31775v12026
TRIAD: Benchmarking Omni-Modal Ambiguity in Multimodal Large Language Models
Zhaolu Kang, Yidi Wang, Yile Li +4
cs.CLarXiv:2610.30841v12026
Predictable performance is suboptimal, and what it means for model routing
Guanhua Zhang, Moritz Hardt
cs.LGcs.AIarXiv:2610.31428v12026
EpiSEM-Bench: Evaluating Safety and Evidence Recovery in LLM Agents under Missing Evidence
Qijin Zhang, Hanzhen Wang, Yuehan Zhao +4
cs.AIcs.LGarXiv:2610.31650v12026
Low-Bit N-Gram Embeddings for Language Models
Stephen Chung, Wenyu Du
cs.CLcs.AIarXiv:2610.31646v12026
HiFA: High-fidelity Text-to-3D Generation with Advanced Diffusion Guidance
Junzhe Zhu, Peiye Zhuang, Sanmi Koyejo
cs.CVcs.AIcs.LGarXiv:2305.18766v42023
Panoptic Scene Program Diffusion Transformer
Chika Maduabuchi
cs.CVcs.LGarXiv:2609.31780v12026
Accurate Sampling from Diffusion Models
Dénes Sexty
hep-latcond-mat.dis-nncs.LGarXiv:2609.29902v12026
Cross-Modal Knowledge Distillation for Acoustic Pedestrian Detection
Yonghyun Kim, Chaeyeon Han, Sancho Gatungay +2
eess.AScs.LGcs.SDarXiv:2609.31785v12026
Approximate Sparse Recovery: Optimizing Time and Measurements
Anna C. Gilbert, Yi Li, Ely Porat +1
cs.DScs.ITmath.ITarXiv:0912.0229v12009
Excess risk bounds for multitask learning with trace norm regularization
Andreas Maurer, Massimiliano Pontil
stat.MLcs.LGarXiv:1212.1496v22012
Sampling for Inference in Probabilistic Models with Fast Bayesian Quadrature
Tom Gunter, Michael A. Osborne, Roman Garnett +2
stat.MLarXiv:1411.0439v12014
Same Beliefs, Different Policies: Learning Reusable Representations for Early Stopping in LLM Reasoning
Jingwei Ni, Dmitry Abulkhanov, Vladislav Smirnov +5
cs.AIcs.LGarXiv:2610.30450v12026
Witness Overlap: Directional Provenance Inside Open-Weight Model Families
Siyuan Li, Haoxuan Zeng, Xin Luo +6
cs.AIarXiv:2609.31784v22026
Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications
Roger X. Lera-Leri, Filippo Bistaffa, Athina Georgara +1
cs.AIarXiv:2610.31119v12026
An analysis of Bitcoin OP_RETURN metadata
Massimo Bartoletti, Livio Pompianu
cs.CRarXiv:1702.01024v22017
SMARtCARE: Privacy-Preserving Agentic AI Systems for Bounded-Autonomy Clinical Decision Support
Srini Ramaswamy, Deveeshree Nayak
cs.AIcs.ETcs.SEarXiv:2609.31763v12026
Not Where You Think: Protecting Location Privacy Against Reasoning-Based Geolocation
Shanghao Shi, Jian Xiao, Hao Li +5
cs.CRarXiv:2610.30439v12026
Muffin - A Shared Memory Buffer for Asynchronous AI Agents
Ping-Lin Kuo, Suman Navaratnarajah, Christian Frey +2
cs.AIcs.MAarXiv:2610.31355v12026
Mirage: Targeted Jailbreaks Against Post-Generation Safety Checkers in Multimodal Diffusion Models
Shanghao Shi, Chaoyu Zhang, Heng Jin +4
cs.CRarXiv:2610.30348v12026
PRIME-ANC: Path-Ratio-Informed Modeling for Efficient Neural Filter Synthesis in Active Noise Control
Yaokun Huang, Chunyang Xu, Haowen Hua +3
eess.AScs.AIcs.SDarXiv:2609.31772v12026
Completing Any Low-rank Matrix, Provably
Yudong Chen, Srinadh Bhojanapalli, Sujay Sanghavi +1
stat.MLcs.ITcs.LGarXiv:1306.2979v42013
Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Andrada-Livia Antoneac, Dorel Lucanu, Dragoş Teodor Gavriluţ
cs.AIcs.PLcs.SEarXiv:2609.34886v12026
DQM: Decentralized Quadratically Approximated Alternating Direction Method of Multipliers
Aryan Mokhtari, Wei Shi, Qing Ling +1
math.OCarXiv:1508.02073v12015
OFDM Synthetic Aperture Radar Imaging with Sufficient Cyclic Prefix
Tian-Xian Zhang, Xiang-Gen Xia
cs.ITmath.ITarXiv:1306.3604v22013
Tutorial on kernel estimation of continuous spatial and spatiotemporal relative risk with accompanying instruction in R
Tilman M. Davies, Jonathan C. Marshall, Martin L. Hazelton
stat.MEarXiv:1707.06888v12017
Feedback Stabilization for Sampled Linear Systems with Control-linear Noise
Cynthia Cheng, Xudong Chen
math.OCcs.SYeess.SYarXiv:2609.30438v12026

Every paper with a summary

Graphical models for marked point processes based on local independence

Moving Regions, Not Moving Objects: Segmenting What Actually Moves under Camera Motion

Lightweight Frame Compensation for Real-Time Polyp Segmentation under Frame Skipping

From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipeline

Toward an Ising Model of Cancer and Beyond

Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring

All-optical polariton transistor

LIKWID: A lightweight performance-oriented tool suite for x86 multicore environments

The Formalization of two Computational Models in Dafny

Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking

Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN

Random Walks, Markov Processes and the Multiscale Modular Organization of Complex Networks

Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking

A Tutorial on Bayesian Nonparametric Models

How Deep Are Deep Gaussian Processes?

CrisiLangs: A Multilingual Resource for Crisis Warning Generation

UNMATCH: Selective Unbalanced Token-Patch Matching for Forensic Image-Claim Verification

Reduced Cartesian Kinetostatics for Tendon-Driven Continuum Robots: Residual-Stabilized Full-Shape Propagation

SpectralCanary: Embarrassingly Simple Low-Frequency Traces for T2I Dataset-Use Auditing

An Evaluation of Popular Copy-Move Forgery Detection Approaches

Action Learning for Scientific Simulations

Energy and Latency First: How Deployment Constraints Reverse Time-Series Model Selection

Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform

Beyond MSE: Rician Likelihood Denoising for Self-Supervised Cardiac $T2$ and $T1\rho$ MRI

On representing chemical environments

Last but not Least: Additional Positional Effects on Citation and Readership in arXiv

Towards User Simulators That Stay On Task And Still Sound Natural

HGPTrans: Hierarchical Graph-Pooling Transolver for Automotive Aerodynamic Drag Coefficient Prediction

GraphLab: A New Framework For Parallel Machine Learning

Reinforcement Learning

A Survey on Open Radio Access Networks: Challenges, Research Directions, and Open Source Approaches

Vision Transformer with Super Token Sampling

Simulated Control Evals

Suitable Measures for the Potential Operational Utility of AI NWP Rainfall Forecasts Over Africa

TRIAD: Benchmarking Omni-Modal Ambiguity in Multimodal Large Language Models

Predictable performance is suboptimal, and what it means for model routing

EpiSEM-Bench: Evaluating Safety and Evidence Recovery in LLM Agents under Missing Evidence

Low-Bit N-Gram Embeddings for Language Models

HiFA: High-fidelity Text-to-3D Generation with Advanced Diffusion Guidance

Panoptic Scene Program Diffusion Transformer

Accurate Sampling from Diffusion Models

Cross-Modal Knowledge Distillation for Acoustic Pedestrian Detection

Approximate Sparse Recovery: Optimizing Time and Measurements

Excess risk bounds for multitask learning with trace norm regularization

Sampling for Inference in Probabilistic Models with Fast Bayesian Quadrature

Same Beliefs, Different Policies: Learning Reusable Representations for Early Stopping in LLM Reasoning

Witness Overlap: Directional Provenance Inside Open-Weight Model Families

Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications

An analysis of Bitcoin OP_RETURN metadata

SMARtCARE: Privacy-Preserving Agentic AI Systems for Bounded-Autonomy Clinical Decision Support

Not Where You Think: Protecting Location Privacy Against Reasoning-Based Geolocation

Muffin - A Shared Memory Buffer for Asynchronous AI Agents

Mirage: Targeted Jailbreaks Against Post-Generation Safety Checkers in Multimodal Diffusion Models

PRIME-ANC: Path-Ratio-Informed Modeling for Efficient Neural Filter Synthesis in Active Noise Control

Completing Any Low-rank Matrix, Provably

Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification

DQM: Decentralized Quadratically Approximated Alternating Direction Method of Multipliers

OFDM Synthetic Aperture Radar Imaging with Sufficient Cyclic Prefix

Tutorial on kernel estimation of continuous spatial and spatiotemporal relative risk with accompanying instruction in R

Feedback Stabilization for Sampled Linear Systems with Control-linear Noise