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)

24,901 to 24,960 of 119,551

ZipMPC: Compressed Context-Dependent MPC Cost via Imitation Learning
Rahel Rickenbach, Alan A. Lahoud, Erik Schaffernicht +2
cs.ROcs.SYeess.SYarXiv:2507.13088v12025
Improving Text Auto-Completion with Next Phrase Prediction
Dong-Ho Lee, Zhiqiang Hu, Roy Ka-Wei Lee
cs.CLarXiv:2109.07067v12021
Fast View Synthesis of Casual Videos with Soup-of-Planes
Yao-Chih Lee, Zhoutong Zhang, Kevin Blackburn-Matzen +4
cs.CVarXiv:2312.02135v22023
Detecting Overfitting of Deep Generative Networks via Latent Recovery
Ryan Webster, Julien Rabin, Loic Simon +1
cs.LGstat.MLarXiv:1901.03396v12019
AvatarVerse: High-quality & Stable 3D Avatar Creation from Text and Pose
Huichao Zhang, Bowen Chen, Hao Yang +7
cs.CVarXiv:2308.03610v12023
SECURE: Benchmarking Large Language Models for Cybersecurity
Dipkamal Bhusal, Md Tanvirul Alam, Le Nguyen +7
cs.CRcs.AIcs.HCarXiv:2405.20441v42024
Generalization in Deep Networks: The Role of Distance from Initialization
Vaishnavh Nagarajan, J. Zico Kolter
cs.LGcs.AIstat.MLarXiv:1901.01672v22019
Efficient verification of bipartite pure states
Zihao Li, Yun-Guang Han, Huangjun Zhu
quant-pharXiv:1901.09783v22019
Test Martingales for bounded random variables
Harrie Hendriks
stat.MEarXiv:2109.08923v12021
Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
Gábor Lugosi, Gergely Neu
stat.MLcs.LGarXiv:2305.19674v22023
Online Learning with Optimism and Delay
Genevieve Flaspohler, Francesco Orabona, Judah Cohen +4
cs.LGstat.MLarXiv:2106.06885v42021
On Linear Stability of SGD and Input-Smoothness of Neural Networks
Chao Ma, Lexing Ying
cs.LGarXiv:2105.13462v22021
Understanding the unstable convergence of gradient descent
Kwangjun Ahn, Jingzhao Zhang, Suvrit Sra
math.OCcs.LGarXiv:2204.01050v22022
Normalized Flat Minima: Exploring Scale Invariant Definition of Flat Minima for Neural Networks using PAC-Bayesian Analysis
Yusuke Tsuzuku, Issei Sato, Masashi Sugiyama
stat.MLcs.LGarXiv:1901.04653v22019
Hoeffding's inequality in game-theoretic probability
Vladimir Vovk
math.PRarXiv:0708.2502v12007
$\mu$BERT: Mutation Testing using Pre-Trained Language Models
Renzo Degiovanni, Mike Papadakis
cs.SEarXiv:2203.03289v12022
CrackSQL: A Hybrid SQL Dialect Translation System Powered by Large Language Models
Wei Zhou, Yuyang Gao, Xuanhe Zhou +1
cs.DBcs.AIcs.CLarXiv:2504.00882v12025
Training Neural Networks as Learning Data-adaptive Kernels: Provable Representation and Approximation Benefits
Xialiang Dou, Tengyuan Liang
stat.MLcs.LGmath.STarXiv:1901.07114v22019
Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
Fanpeng Yang, Xu Ma, Shuling Wang +5
cs.SEarXiv:2506.09550v42025
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou +3
cs.SEarXiv:2512.10173v22025
Specifications: The missing link to making the development of LLM systems an engineering discipline
Ion Stoica, Matei Zaharia, Joseph Gonzalez +8
cs.SEcs.AIcs.CLarXiv:2412.05299v22024
Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization
Meng Wang, Philipp Görz, Joschua Schilling +4
cs.CRarXiv:2512.20705v22025
Adaptive Guidance with Reinforcement Meta-Learning
Brian Gaudet, Richard Linares
eess.SYcs.ROcs.SYarXiv:1901.04473v12019
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu +2
cs.SEcs.AIarXiv:2506.08171v22025
Mull it over: mutation testing based on LLVM
Alex Denisov, Stanislav Pankevich
cs.SEarXiv:1908.01540v12019
Large Language Model Powered Symbolic Execution
Yihe Li, Ruijie Meng, Gregory J. Duck
cs.PLarXiv:2505.13452v22025
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
Haoxin Tu, Seongmin Lee, Yuxian Li +3
cs.SEarXiv:2504.17542v22025
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives
Maxence Dutreix, Jeongmin Huh, Samuel Coogan
eess.SYcs.SYarXiv:2001.09236v22020
Adversarial Robustness May Be at Odds With Simplicity
Preetum Nakkiran
cs.LGcs.CCstat.MLarXiv:1901.00532v12019
A Gaussian Process perspective on Convolutional Neural Networks
Anastasia Borovykh
stat.MLcs.LGarXiv:1810.10798v22018
Analysis of a Two-Layer Neural Network via Displacement Convexity
Adel Javanmard, Marco Mondelli, Andrea Montanari
math.STcs.LGstat.THarXiv:1901.01375v22019
VALL-T: Decoder-Only Generative Transducer for Robust and Decoding-Controllable Text-to-Speech
Chenpeng Du, Yiwei Guo, Hankun Wang +6
eess.AScs.SDarXiv:2401.14321v52024
Non-Attentive Tacotron: Robust and Controllable Neural TTS Synthesis Including Unsupervised Duration Modeling
Jonathan Shen, Ye Jia, Mike Chrzanowski +4
cs.SDcs.CLarXiv:2010.04301v42020
MultiSpeech: Multi-Speaker Text to Speech with Transformer
Mingjian Chen, Xu Tan, Yi Ren +5
eess.AScs.CLcs.LGarXiv:2006.04664v22020
Algorithmic Regularization in Over-parameterized Matrix Sensing and Neural Networks with Quadratic Activations
Yuanzhi Li, Tengyu Ma, Hongyang Zhang
cs.LGcs.DSmath.OCarXiv:1712.09203v52017
The dynamics of message passing on dense graphs, with applications to compressed sensing
Mohsen Bayati, Andrea Montanari
cs.ITcs.LGmath.ITarXiv:1001.3448v42010
Deep convolutional Gaussian processes
Kenneth Blomqvist, Samuel Kaski, Markus Heinonen
cs.LGstat.MLarXiv:1810.03052v12018
Accrediting outputs of noisy intermediate-scale quantum computing devices
Samuele Ferracin, Theodoros Kapourniotis, Animesh Datta
quant-pharXiv:1811.09709v32018
Fast and Globally Optimal Rigid Registration of 3D Point Sets by Transformation Decomposition
Xuechen Li, Yinlong Liu, Yiru Wang +3
cs.CVarXiv:1812.11307v32018
Can SGD Learn Recurrent Neural Networks with Provable Generalization?
Zeyuan Allen-Zhu, Yuanzhi Li
cs.LGcs.DScs.NEarXiv:1902.01028v22019
Consistency of Interpolation with Laplace Kernels is a High-Dimensional Phenomenon
Alexander Rakhlin, Xiyu Zhai
stat.MLcs.LGmath.STarXiv:1812.11167v12018
Steps Toward Deep Kernel Methods from Infinite Neural Networks
Tamir Hazan, Tommi Jaakkola
cs.LGcs.NEarXiv:1508.05133v22015
Flow-GAN: Combining Maximum Likelihood and Adversarial Learning in Generative Models
Aditya Grover, Manik Dhar, Stefano Ermon
cs.LGcs.AIcs.NEarXiv:1705.08868v22017
AttS2S-VC: Sequence-to-Sequence Voice Conversion with Attention and Context Preservation Mechanisms
Kou Tanaka, Hirokazu Kameoka, Takuhiro Kaneko +1
eess.AScs.LGcs.SDarXiv:1811.04076v12018
Deep Reinforcement Learning for Six Degree-of-Freedom Planetary Powered Descent and Landing
Brian Gaudet, Richard Linares, Roberto Furfaro
eess.SYcs.SYarXiv:1810.08719v12018
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
Maxence Dutreix, Samuel Coogan
eess.SParXiv:1903.02191v22019
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani
eess.SYcs.LGcs.SYarXiv:2005.05040v12020
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against $\omega$-Regular Specifications
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
eess.SYcs.SYarXiv:2103.02226v22021
Hardware-Assisted Detection of Firmware Attacks in Inverter-Based Cyberphysical Microgrids
Abraham Peedikayil Kuruvila, Ioannis Zografopoulos, Kanad Basu +1
cs.CRcs.SYeess.SYarXiv:2009.07691v22020
Security Assessment and Impact Analysis of Cyberattacks in Integrated T&D Power Systems
Ioannis Zografopoulos, Charalambos Konstantinou, Nektarios Georgios Tsoutsos +2
eess.SYcs.CRcs.SYarXiv:2102.03215v32021
Causal Unsupervised Semantic Segmentation
Junho Kim, Byung-Kwan Lee, Yong Man Ro
cs.CVcs.AIcs.LGarXiv:2310.07379v12023
NormAd: A Framework for Measuring the Cultural Adaptability of Large Language Models
Abhinav Rao, Akhila Yerukola, Vishwa Shah +2
cs.CLarXiv:2404.12464v102024
LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models
Zhigang Fang, Renzhi Chen, Zhijie Yang +3
cs.ARarXiv:2502.10815v12025
Source Coverage and Citation Bias in LLM-based vs. Traditional Search Engines
Peixian Zhang, Qiming Ye, Zifan Peng +2
cs.CLcs.CYarXiv:2512.09483v12025
NormSAGE: Multi-Lingual Multi-Cultural Norm Discovery from Conversations On-the-Fly
Yi R. Fung, Tuhin Chakraborty, Hao Guo +3
cs.CLcs.AIarXiv:2210.08604v22022
Consistent Paths Lead to Truth: Self-Rewarding Reinforcement Learning for LLM Reasoning
Kongcheng Zhang, Qi Yao, Shunyu Liu +5
cs.AIcs.CLarXiv:2506.08745v12025
Implicit Dual-domain Convolutional Network for Robust Color Image Compression Artifact Reduction
Bolun Zheng, Yaowu Chen, Xiang Tian +2
cs.CVarXiv:1810.08042v32018
AI-assisted Protocol Information Extraction For Improved Accuracy and Efficiency in Clinical Trial Workflows
Ramtin Babaeipour, François Charest, Madison Wright
cs.IRcs.AIcs.CLarXiv:2602.00052v22026
Self-Evolving Multi-Agent Symbolic Discovery for Financial Fundamental Analysis
Kelvin J. L. Koa, Filip Orestav, Shengqiong Wu +2
cs.MAcs.AIcs.LGarXiv:2609.32746v12026
Coding Agents with Multimodal Browsing are Generalist Problem Solvers
Aditya Bharat Soni, Boxuan Li, Xingyao Wang +2
cs.CLarXiv:2506.03011v12025

Every paper with a summary

ZipMPC: Compressed Context-Dependent MPC Cost via Imitation Learning

Improving Text Auto-Completion with Next Phrase Prediction

Fast View Synthesis of Casual Videos with Soup-of-Planes

Detecting Overfitting of Deep Generative Networks via Latent Recovery

AvatarVerse: High-quality & Stable 3D Avatar Creation from Text and Pose

SECURE: Benchmarking Large Language Models for Cybersecurity

Generalization in Deep Networks: The Role of Distance from Initialization

Efficient verification of bipartite pure states

Test Martingales for bounded random variables

Online-to-PAC Conversions: Generalization Bounds via Regret Analysis

Online Learning with Optimism and Delay

On Linear Stability of SGD and Input-Smoothness of Neural Networks

Understanding the unstable convergence of gradient descent

Normalized Flat Minima: Exploring Scale Invariant Definition of Flat Minima for Neural Networks using PAC-Bayesian Analysis

Hoeffding's inequality in game-theoretic probability

$\mu$BERT: Mutation Testing using Pre-Trained Language Models

CrackSQL: A Hybrid SQL Dialect Translation System Powered by Large Language Models

Training Neural Networks as Learning Data-adaptive Kernels: Provable Representation and Approximation Benefits

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis

Specifications: The missing link to making the development of LLM systems an engineering discipline

Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization

Adaptive Guidance with Reinforcement Meta-Learning

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models

Mull it over: mutation testing based on LLVM

Large Language Model Powered Symbolic Execution

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives

Adversarial Robustness May Be at Odds With Simplicity

A Gaussian Process perspective on Convolutional Neural Networks

Analysis of a Two-Layer Neural Network via Displacement Convexity

VALL-T: Decoder-Only Generative Transducer for Robust and Decoding-Controllable Text-to-Speech

Non-Attentive Tacotron: Robust and Controllable Neural TTS Synthesis Including Unsupervised Duration Modeling

MultiSpeech: Multi-Speaker Text to Speech with Transformer

Algorithmic Regularization in Over-parameterized Matrix Sensing and Neural Networks with Quadratic Activations

The dynamics of message passing on dense graphs, with applications to compressed sensing

Deep convolutional Gaussian processes

Accrediting outputs of noisy intermediate-scale quantum computing devices

Fast and Globally Optimal Rigid Registration of 3D Point Sets by Transformation Decomposition

Can SGD Learn Recurrent Neural Networks with Provable Generalization?

Consistency of Interpolation with Laplace Kernels is a High-Dimensional Phenomenon

Steps Toward Deep Kernel Methods from Infinite Neural Networks

Flow-GAN: Combining Maximum Likelihood and Adversarial Learning in Generative Models

AttS2S-VC: Sequence-to-Sequence Voice Conversion with Attention and Context Preservation Mechanisms

Deep Reinforcement Learning for Six Degree-of-Freedom Planetary Powered Descent and Landing

Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems

Data-Driven Verification under Signal Temporal Logic Constraints

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against $\omega$-Regular Specifications

Hardware-Assisted Detection of Firmware Attacks in Inverter-Based Cyberphysical Microgrids

Security Assessment and Impact Analysis of Cyberattacks in Integrated T&D Power Systems

Causal Unsupervised Semantic Segmentation

NormAd: A Framework for Measuring the Cultural Adaptability of Large Language Models

LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models

Source Coverage and Citation Bias in LLM-based vs. Traditional Search Engines

NormSAGE: Multi-Lingual Multi-Cultural Norm Discovery from Conversations On-the-Fly

Consistent Paths Lead to Truth: Self-Rewarding Reinforcement Learning for LLM Reasoning

Implicit Dual-domain Convolutional Network for Robust Color Image Compression Artifact Reduction

AI-assisted Protocol Information Extraction For Improved Accuracy and Efficiency in Clinical Trial Workflows

Self-Evolving Multi-Agent Symbolic Discovery for Financial Fundamental Analysis

Coding Agents with Multimodal Browsing are Generalist Problem Solvers