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)

82,981 to 83,040 of 103,772

Embedding Pure Type Systems in the lambda-Pi-calculus modulo
Denis Cousineau, Gilles Dowek
cs.LOarXiv:2310.12540v12023
EgoSIS: From Factorized Visual Ego-Transitions to Motion-Canonical Spatial Evidence for UAV Reasoning
Jingpu Yang, Fengxian Ji, Mingxuan Cui +4
cs.CVarXiv:2609.08938v22026
Online Joint Calibration of Steering Offset and Planar LiDAR Extrinsics for Wheeled Mobile Robots
Subodh Mishra, Arindam Dhar, Suprotim Majumdar +1
cs.ROarXiv:2608.26789v12026
The Learning and Prediction of Application-level Traffic Data in Cellular Networks
Rongpeng Li, Zhifeng Zhao, Jianchao Zheng +3
cs.NIcs.LGarXiv:1606.04778v22016
Understanding the Behaviors of BERT in Ranking
Yifan Qiao, Chenyan Xiong, Zhenghao Liu +1
cs.IRcs.CLarXiv:1904.07531v42019
Asynchronous LLM Post-Training: Group-Mass Capping and Convergence Analysis
Qijia He, Ruinan Jin, Jun Luo +2
cs.LGcs.AIarXiv:2610.01896v12026
Towards Demystifying Serverless Machine Learning Training
Jiawei Jiang, Shaoduo Gan, Yue Liu +6
cs.DCcs.LGarXiv:2105.07806v12021
A Closer Look at Local Aggregation Operators in Point Cloud Analysis
Ze Liu, Han Hu, Yue Cao +2
cs.CVcs.LGarXiv:2007.01294v12020
Unifying Power Flow and Electromagnetic Transient Modeling
Tina Gao, Aayushya Agarwala, Timothy McNamara +1
eess.SYcs.SYarXiv:2609.08933v12026
I Don't Miss You, but I Do: Self-Explanation Faithfulness of Modality Missingness in Vision-Language Models
Aydin Javadov, Daniel Schoess, Florian von Wangenheim
cs.LGcs.CLcs.CVarXiv:2609.07596v22026
Wasserstein continuity of entropy and outer bounds for interference channels
Yury Polyanskiy, Yihong Wu
cs.ITmath.ITmath.PRarXiv:1504.04419v22015
SEA-Guard: Culturally Grounded Multilingual Safeguard for Southeast Asia
Panuthep Tasawong, Jian Gang Ngui, Alham Fikri Aji +2
cs.CLarXiv:2602.01618v12026
CARES: A Controlled Synthetic Benchmark of Speaker Reactions to Sound
Marcel Gibier, Thomas Thebaud, Olivier Boëffard +1
cs.SDcs.LGarXiv:2610.10208v12026
Shift-Robust GNNs: Overcoming the Limitations of Localized Graph Training Data
Qi Zhu, Natalia Ponomareva, Jiawei Han +1
cs.LGarXiv:2108.01099v22021
A Comprehensive Survey on Vector Database: Storage and Retrieval Technique, Challenge
Le Ma, Ran Zhang, Yikun Han +17
cs.DBcs.AIarXiv:2310.11703v42023
A Consistent and Differentiable Lp Canonical Calibration Error Estimator
Teodora Popordanoska, Raphael Sayer, Matthew B. Blaschko
stat.MLcs.CVarXiv:2210.07810v12022
Deep Texture-Aware Features for Camouflaged Object Detection
Jingjing Ren, Xiaowei Hu, Lei Zhu +5
cs.CVarXiv:2102.02996v12021
Longformer: The Long-Document Transformer
Iz Beltagy, Matthew E. Peters, Arman Cohan
cs.CLarXiv:2004.05150v22020
Slow--Fast Response Correction for a Compact Fourth-Order IMEX Two-Derivative Method
Zhixin Huo
math.NAarXiv:2609.27761v12026
Limits of modularity maximization in community detection
Andrea Lancichinetti, Santo Fortunato
physics.soc-phcs.SIarXiv:1107.1155v22011
Mixed finite element methods for linear elasticity with weakly imposed symmetry
Douglas N. Arnold, Richard S. Falk, Ragnar Winther
math.NAarXiv:math/0701506v12007
Dijkstra as an Oracle for Online Stochastic Shortest Path Navigation with Provable Guarantees
Mansur M. Arief, Ali Akarma, Ahmad Alfan Alfian Irfan
cs.ROcs.AImath.OCarXiv:2608.17703v12026
Stable On-Policy Distillation through Adaptive Target Reformulation
Ijun Jang, Jewon Yeom, Juan Yeo +2
cs.LGcs.AIarXiv:2601.07155v32026
Summaries:한국어
Optimizing Search and Rescue UAV Connectivity in Challenging Terrain through Multi Q-Learning
Mohammed M. H. Qazzaz, Syed A. R. Zaidi, Desmond C. McLernon +2
cs.ROarXiv:2405.10042v12024
Variational Dropout Sparsifies Deep Neural Networks
Dmitry Molchanov, Arsenii Ashukha, Dmitry Vetrov
stat.MLcs.LGarXiv:1701.05369v32017
Remotely Detectable Keyed Communication through Motion
Benjamin Chang, Michael Amir, Manon Flageat +1
cs.ROarXiv:2609.08920v12026
Frequent Directions : Simple and Deterministic Matrix Sketching
Mina Ghashami, Edo Liberty, Jeff M. Phillips +1
cs.DSarXiv:1501.01711v22015
Multilingual Translation with Extensible Multilingual Pretraining and Finetuning
Yuqing Tang, Chau Tran, Xian Li +5
cs.CLarXiv:2008.00401v12020
The Rate of Convergence of AdaBoost
Indraneel Mukherjee, Cynthia Rudin, Robert E. Schapire
math.OCcs.AIstat.MLarXiv:1106.6024v12011
On Explore-Then-Commit Strategies
Aurélien Garivier, Emilie Kaufmann, Tor Lattimore
math.STcs.LGstat.THarXiv:1605.08988v22016
WikiReading: A Novel Large-scale Language Understanding Task over Wikipedia
Daniel Hewlett, Alexandre Lacoste, Llion Jones +5
cs.CLarXiv:1608.03542v22016
Spatio-spectral classification of hyperspectral images for brain cancer detection during surgical operations
H. Fabelo, S. Ortega, D. Ravi +19
eess.IVcs.CVarXiv:2402.07192v12024
A safety realignment framework via subspace-oriented model fusion for large language models
Xin Yi, Shunfan Zheng, Linlin Wang +2
cs.CLarXiv:2405.09055v12024
Understanding On-Policy Distillation: A Mechanistic Interpretability Perspective via Sparse Crosscoders
Zichao Yu, Qianshuo Ye, Xu Wang +1
cs.CLarXiv:2609.35210v12026
A Quantum-Inspired Approach to MaxCut Based on Sparse Walsh/Pauli-Correlation Encoding
Cesar Augusto do Amaral, Marcos Vinicius Reballo, Marcus Ritt +2
cs.ETquant-pharXiv:2609.08907v12026
Finite elements for symmetric tensors in three dimension
Douglas N. Arnold, Gerard Awanou, Ragnar Winther
math.NAarXiv:math/0701503v22007
Dynamic Weights in Multi-Objective Deep Reinforcement Learning
Axel Abels, Diederik M. Roijers, Tom Lenaerts +2
cs.LGcs.AIstat.MLarXiv:1809.07803v22018
Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates
Kaifeng Lyu, Haoyu Zhao, Xinran Gu +3
cs.LGcs.AIcs.CLarXiv:2402.18540v22024
Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
Alon Albalak, Duy Phung, Nathan Lile +8
cs.LGcs.AIcs.CLarXiv:2502.17387v12025
Can Video World Models Track Unobserved World States?
Joonghyuk Shin, Yicong Hong, Jaesik Park +1
cs.CVarXiv:2608.30692v12026
A Long Way to the Top: Significance, Structure, and Stability of Internet Top Lists
Quirin Scheitle, Oliver Hohlfeld, Julien Gamba +4
cs.NIarXiv:1805.11506v22018
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
S. Acid, L. M. de Campos
cs.AIarXiv:1107.0019v12011
Online Learning Rate Adaptation with Hypergradient Descent
Atilim Gunes Baydin, Robert Cornish, David Martinez Rubio +2
cs.LGstat.MLarXiv:1703.04782v32017
Close Shortcut Wins Long: Seeking Diverse and Stable Generators for Data-Free Knowledge Distillation
Kailin Lyu, Zherui Zhang, Junhao Dong +11
cs.CVarXiv:2608.22003v12026
A $(\log n)^{1/4}$ Bound for the Koml\'os Problem
Eren Ercan
math.COcs.DMcs.DSarXiv:2609.08885v12026
Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles
Mingzhe Du, Anh Tuan Luu, Dong Huang +1
cs.LGcs.PLarXiv:2609.22220v12026
Iterative fully convolutional neural networks for automatic vertebra segmentation and identification
Nikolas Lessmann, Bram van Ginneken, Pim A. de Jong +1
cs.CVarXiv:1804.04383v32018
Selection-Based Structured Reasoning: Toward Efficient Multimodal Search Agents
Feiyu Gavin Zhu, Xiaoyu Zhu, Jiqi Yang +9
cs.LGcs.AIarXiv:2610.01892v12026
Remote Sensing Image Fusion Based on Two-stream Fusion Network
Xiangyu Liu, Qingjie Liu, Yunhong Wang
cs.CVarXiv:1711.02549v32017
Fact over Fiction: Detection of Pathological Hallucinations in Sinhala-to-English Neural Machine Translation
Navam Obeysekara, Nevidu Jayatilleke
cs.CLarXiv:2610.11389v12026
HiveTraceGuard-Pro: A Compact Generative Guardrail for Prompt Injection, Jailbreaks, and Adversarial Obfuscation
Nikita Oblakov, Sabrina Sadiekh, Evgeniy Kokuykin
cs.CRcs.AIarXiv:2609.01046v12026
HuMoR: 3D Human Motion Model for Robust Pose Estimation
Davis Rempe, Tolga Birdal, Aaron Hertzmann +3
cs.CVcs.LGarXiv:2105.04668v22021
Learning Getting-Up Policies for Real-World Humanoid Robots
Xialin He, Runpei Dong, Zixuan Chen +1
cs.ROcs.LGarXiv:2502.12152v22025
End-to-End Kernel Learning with Supervised Convolutional Kernel Networks
Julien Mairal
stat.MLcs.CVcs.LGarXiv:1605.06265v22016
Bi-CLKT: Bi-Graph Contrastive Learning based Knowledge Tracing
Xiangyu Song, Jianxin Li, Qi Lei +3
cs.LGcs.CYarXiv:2201.09020v12022
Inversion of spherical means and the wave equation in even dimensions
D. Finch, M. Haltmeier, Rakesh
math.AParXiv:math/0701426v12007
VMamba: Visual State Space Model
Yue Liu, Yunjie Tian, Yuzhong Zhao +6
cs.CVarXiv:2401.10166v42024
Medical AI Encodes a "Feeling of Error": Verifying Cancer Segmentation via Internal Concepts
Mengmeng Ma, Yunxiang Peng, Tang Li +4
cs.CVarXiv:2609.08879v12026
BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure
Shenghan Zheng, Zonglin Di, Yimin Liu +19
cs.CRcs.AIcs.SEarXiv:2609.11028v12026
Summaries:한국어
cGANs with Projection Discriminator
Takeru Miyato, Masanori Koyama
cs.LGcs.CVstat.MLarXiv:1802.05637v22018

Every paper with a summary

Embedding Pure Type Systems in the lambda-Pi-calculus modulo

EgoSIS: From Factorized Visual Ego-Transitions to Motion-Canonical Spatial Evidence for UAV Reasoning

Online Joint Calibration of Steering Offset and Planar LiDAR Extrinsics for Wheeled Mobile Robots

The Learning and Prediction of Application-level Traffic Data in Cellular Networks

Understanding the Behaviors of BERT in Ranking

Asynchronous LLM Post-Training: Group-Mass Capping and Convergence Analysis

Towards Demystifying Serverless Machine Learning Training

A Closer Look at Local Aggregation Operators in Point Cloud Analysis

Unifying Power Flow and Electromagnetic Transient Modeling

I Don't Miss You, but I Do: Self-Explanation Faithfulness of Modality Missingness in Vision-Language Models

Wasserstein continuity of entropy and outer bounds for interference channels

SEA-Guard: Culturally Grounded Multilingual Safeguard for Southeast Asia

CARES: A Controlled Synthetic Benchmark of Speaker Reactions to Sound

Shift-Robust GNNs: Overcoming the Limitations of Localized Graph Training Data

A Comprehensive Survey on Vector Database: Storage and Retrieval Technique, Challenge

A Consistent and Differentiable Lp Canonical Calibration Error Estimator

Deep Texture-Aware Features for Camouflaged Object Detection

Longformer: The Long-Document Transformer

Slow--Fast Response Correction for a Compact Fourth-Order IMEX Two-Derivative Method

Limits of modularity maximization in community detection

Mixed finite element methods for linear elasticity with weakly imposed symmetry

Dijkstra as an Oracle for Online Stochastic Shortest Path Navigation with Provable Guarantees

Stable On-Policy Distillation through Adaptive Target Reformulation

Optimizing Search and Rescue UAV Connectivity in Challenging Terrain through Multi Q-Learning

Variational Dropout Sparsifies Deep Neural Networks

Remotely Detectable Keyed Communication through Motion

Frequent Directions : Simple and Deterministic Matrix Sketching

Multilingual Translation with Extensible Multilingual Pretraining and Finetuning

The Rate of Convergence of AdaBoost

On Explore-Then-Commit Strategies

WikiReading: A Novel Large-scale Language Understanding Task over Wikipedia

Spatio-spectral classification of hyperspectral images for brain cancer detection during surgical operations

A safety realignment framework via subspace-oriented model fusion for large language models

Understanding On-Policy Distillation: A Mechanistic Interpretability Perspective via Sparse Crosscoders

A Quantum-Inspired Approach to MaxCut Based on Sparse Walsh/Pauli-Correlation Encoding

Finite elements for symmetric tensors in three dimension

Dynamic Weights in Multi-Objective Deep Reinforcement Learning

Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates

Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models

Can Video World Models Track Unobserved World States?

A Long Way to the Top: Significance, Structure, and Stability of Internet Top Lists

Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs

Online Learning Rate Adaptation with Hypergradient Descent

Close Shortcut Wins Long: Seeking Diverse and Stable Generators for Data-Free Knowledge Distillation

A $(\log n)^{1/4}$ Bound for the Koml\'os Problem

Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles

Iterative fully convolutional neural networks for automatic vertebra segmentation and identification

Selection-Based Structured Reasoning: Toward Efficient Multimodal Search Agents

Remote Sensing Image Fusion Based on Two-stream Fusion Network

Fact over Fiction: Detection of Pathological Hallucinations in Sinhala-to-English Neural Machine Translation

HiveTraceGuard-Pro: A Compact Generative Guardrail for Prompt Injection, Jailbreaks, and Adversarial Obfuscation

HuMoR: 3D Human Motion Model for Robust Pose Estimation

Learning Getting-Up Policies for Real-World Humanoid Robots

End-to-End Kernel Learning with Supervised Convolutional Kernel Networks

Bi-CLKT: Bi-Graph Contrastive Learning based Knowledge Tracing

Inversion of spherical means and the wave equation in even dimensions

VMamba: Visual State Space Model

Medical AI Encodes a "Feeling of Error": Verifying Cancer Segmentation via Internal Concepts

BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure

cGANs with Projection Discriminator