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)
6,361 to 6,420 of 114,353
Proof Repair and (Co)algebra Equivalences
E. G Plante III, Eric Paul, Cosmo Viola +2
cs.PLarXiv:2610.36669v12026Exploiting The Laws of Order in Smart Contracts
Aashish Kolluri, Ivica Nikolic, Ilya Sergey +2
cs.CRarXiv:1810.11605v12018Relevance-Resolution Transfer via Scale-Decomposable Fractional Diffusion for Multi-Length Cross-Modal Hash Retrieval
Xi Chen, Xu Chen, Xiangyang Jia +4
cs.IRarXiv:2609.34393v12026ActionLens: Diagnosing Spatial-Temporal Binding Failures in Vision-Language Models
Gueter Josmy Faure, Min-Hung Chen, Hao Ping Wang +3
cs.CVcs.AIcs.CLarXiv:2609.34547v12026PyRobot: An Open-source Robotics Framework for Research and Benchmarking
Adithyavairavan Murali, Tao Chen, Kalyan Vasudev Alwala +4
cs.ROcs.AIcs.CVarXiv:1906.08236v12019AudioRSI: Recursively Self-Improving Audio Reasoners
Jiajun Fan, Roger Ren, Jingyuan Li +6
cs.SDarXiv:2610.36578v12026Abstract Lipschitz Continuity
Marco Campion, Isabella Mastroeni, Michele Pasqua +1
cs.PLarXiv:2610.37006v12026Scalable GNN-based Knowledge Graph Representation Learning with Efficient Message Passing
Huu Tan Mai, Cuong Xuan Chu, Heiko Paulheim +1
cs.LGcs.AIarXiv:2609.34499v12026FlexLoop: Depth-Elastic Looped Policies for Adaptive Test-Time Computation in Deep RL
Xun Wang, Ruishuo Chen, Yu Chen +2
cs.LGcs.AIarXiv:2609.34488v12026Learn Here, Move Less Elsewhere: Input-Conditioned Plasticity from Retained-Domain Activation Atlases
Jiangtao Lin, Bangyang Wei, Yihang Ding +2
cs.LGcs.AIarXiv:2609.34478v12026InfraDev: Can Coding Agents Develop AI Infrastructure, and How Can We Tell?
Yangshen Deng, Jiaqi Ruan, Yeqi Huang +3
cs.AIcs.DCarXiv:2610.36589v12026LLM knowledge for improved Out-of-Distribution Tabular Prediction - A Cross-Validated Regularisation Approach
Sølve Langseth, Kristoffer Herland Hellton, Hugo L. Hammer
cs.LGstat.MEstat.MLarXiv:2610.36806v12026Improving Spatiotemporal Self-Supervision by Deep Reinforcement Learning
Uta Büchler, Biagio Brattoli, Björn Ommer
cs.CVarXiv:1807.11293v12018A Practical Approach to Insertion with Variable Socket Position Using Deep Reinforcement Learning
Mel Vecerik, Oleg Sushkov, David Barker +3
cs.ROarXiv:1810.01531v22018FAQ Retrieval using Query-Question Similarity and BERT-Based Query-Answer Relevance
Wataru Sakata, Tomohide Shibata, Ribeka Tanaka +1
cs.IRcs.CLarXiv:1905.02851v22019Label-Driven Reconstruction for Domain Adaptation in Semantic Segmentation
Jinyu Yang, Weizhi An, Sheng Wang +3
cs.CVarXiv:2003.04614v32020Conservative Dueling Bandits: Preference Learning under Baseline Constraints
Rohan Deb, Mohammad Ghavamzadeh, Arindam Banerjee
cs.LGcs.AIstat.MLarXiv:2610.36708v12026A Counterexample to KL1 Completeness and a Complete Disjunctive Calculus
Damiano Presa, Fabio Aurelio D'Asaro, Massimiliano Badino
cs.LOarXiv:2610.37107v12026Causal Routing for Unlearning
Bardh Prenkaj, Andrea D'Angelo, Davide Mottin +4
cs.LGcs.AIarXiv:2609.34475v12026Retrieve to Act: Motion Primitive Graph Retrieval for Robust VLA Execution
Pham Tri Quang, Bao-Ngoc Dao, Minh Duc Nguyen +15
cs.ROcs.AIarXiv:2610.37215v12026Rethinking Channel Dimensions for Efficient Model Design
Dongyoon Han, Sangdoo Yun, Byeongho Heo +1
cs.CVarXiv:2007.00992v32020Remember by Asking: Retrieval-Induced Memory Evolution for LLM Agents
Wanqi Zhou, Jiawei Lu, Yang Wang +4
cs.CLcs.AIarXiv:2609.34438v12026ScIntBench: Physical Interaction Plausibility in 3D Scene Generation
Wendi Ying, Daochang Liu, Leonid Sigal +1
cs.CVarXiv:2610.37326v12026VL-AcneSeg: A Vision-Language Framework for Region-Aware Acne Lesion Segmentation
Sukju Oh, Soo Ick Cho, Dae Hun Suh +1
cs.CVcs.AIarXiv:2609.34472v12026Stochastic AUC Maximization with Deep Neural Networks
Mingrui Liu, Zhuoning Yuan, Yiming Ying +1
cs.LGmath.OCstat.MLarXiv:1908.10831v52019Modeling Whole-Slide Images as Dynamic Tumor Microenvironment Fields
Lei Wu, Jiashuai Liu, Di Zhang +9
cs.CVcs.AIarXiv:2609.34451v12026SPACE-LoRA: Allocating Activation-Subspace Protection for Continual Learning
Seunghyun Yoo, Kiseok Kim, Hyeontae Joo +2
cs.LGcs.AIarXiv:2609.34453v12026EmbeddingGemma 2: Unified and Efficient Multimodal Representations
Henrique Schechter Vera, Sahil Dua, Jovan Andonov +70
cs.LGcs.CLcs.CVarXiv:2610.37364v12026Language models and Automated Essay Scoring
Pedro Uria Rodriguez, Amir Jafari, Christopher M. Ormerod
cs.CLcs.LGstat.MLarXiv:1909.09482v12019Resource Allocation for Multi-User Downlink MISO OFDMA-URLLC Systems
Walid R. Ghanem, Vahid Jamali, Yan Sun +1
cs.ITmath.ITarXiv:1910.06127v12019From Solver Trajectories to Teaching Trajectories: Cognition-Aligned Reasoning Distillation
Yashuo Luo, Qianren Mao, Ziqi Qin +6
cs.AIarXiv:2610.36445v12026LRC-JEPA: Disentangling Dynamics and Residual Context for Efficient World Models
Luzhe Huang, Lei Chu, Jingyi Liang +1
cs.LGcs.AIcs.ROarXiv:2609.34375v12026Beyond LWE: Post-Quantum Assumptions under a Counterfactual Break of the Dihedral Coset Problem
Ramses Fernandez
cs.CRarXiv:2610.36731v12026On the Safety of Conversational Models: Taxonomy, Dataset, and Benchmark
Hao Sun, Guangxuan Xu, Jiawen Deng +6
cs.CLarXiv:2110.08466v22021Zero-Shot Cue-Grounded Topic Segmentation of Spoken Documents
Suhwan Choi, Myeongho Jeon, Myungjoo Kang
cs.CLcs.AIarXiv:2609.34425v12026Bayesian Inference of Expensive Simulators: Survey and Comparison of Design Choices
Šimon Soldát, Václav Šmídl
cs.LGarXiv:2610.37284v12026The State and Fate of Multilingual, Contextual Evaluation in the NLP World
Manan Uppadhyay, Himanshu Beniwal, Prashant Kodali +1
cs.CLarXiv:2610.36990v12026AgentHop: A Diagnostic Benchmark for Agentic Multi-Hop Scientific Question Answering
Chanhee Park, Jeongho Yoon, Sungbin Han +2
cs.CLcs.AIarXiv:2609.34428v12026DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks
Lei Yang, Seo Jin Park, Mohammad Alizadeh +2
cs.NIarXiv:2110.04371v22021A Unified Transformer Framework for Group-based Segmentation: Co-Segmentation, Co-Saliency Detection and Video Salient Object Detection
Yukun Su, Jingliang Deng, Ruizhou Sun +2
cs.CVarXiv:2203.04708v22022RORL: Robust Offline Reinforcement Learning via Conservative Smoothing
Rui Yang, Chenjia Bai, Xiaoteng Ma +3
cs.LGcs.AIstat.MLarXiv:2206.02829v32022MASCIT: A Mask-Aware State Space Classifier for Naturally Irregular Time Series
Yoo-Min Jung, Hyeon-Gi Kim, Jonghun Park
cs.LGcs.AIarXiv:2609.34409v22026DPS: Dual-Mode Precision LLM Serving with Semi-Unified Memory
Xuan Truong Nguyen, Tien Son Pham, Tuan Duc Chu +2
cs.DCcs.AIcs.ETarXiv:2609.34380v12026Batching the Reflective Optimization Loop: Parallel Proposals Make GEPA Faster and Better
Jialin Zhang, Lakshya A Agrawal, Shangyin Tan +6
cs.AIcs.CLcs.LGarXiv:2610.36774v12026Learning Single-Index Models with Shallow Neural Networks
Alberto Bietti, Joan Bruna, Clayton Sanford +1
cs.LGmath.OCstat.MLarXiv:2210.15651v12022RoboSTD: Zero-Shot Single-to-Dual Transfer via Sagittal Mirroring for Bimanual Learning
Hongyu Wu, Chong Liu, Shaoxuan Xie +4
cs.ROarXiv:2610.36685v12026WoVoGen: World Volume-aware Diffusion for Controllable Multi-camera Driving Scene Generation
Jiachen Lu, Ze Huang, Zeyu Yang +2
cs.CVarXiv:2312.02934v42023What Works Better? A Study of Classifying Requirements
Zahra Shakeri Hossein Abad, Oliver Karras, Parisa Ghazi +3
cs.SEarXiv:1707.02358v12017Dictionary Optimization for Block-Sparse Representations
Kevin Rosenblum, Lihi Zelnik-Manor, Yonina C. Eldar
cs.ITmath.ITarXiv:1005.0202v12010MVRCap: Towards Comprehensive Video Captioning via Hierarchical Multi-Dimensional Verifiable Rewards
Weihuang Lin, Xianing Chen, Zhibin Wang +9
cs.CVarXiv:2610.36838v12026GameVerse: A Minute-Scale Gameplay Dataset for Long-Horizon Interactive World Modeling
Kang He, Wenshuo Peng, Chuanhao Li +7
cs.CVarXiv:2610.37257v12026ABC-Align: Prediction-Powered Alignment with Adaptive Bias Control
Eric Frankel, Banghua Zhu, Sewoong Oh +1
cs.LGcs.AIstat.MLarXiv:2609.34374v12026From Static to Dynamic: On-Policy Distillation from Image to Video Diffusion Models
Bingqing Jiang, Li Luo, Zichao Yu +3
cs.CVcs.AIarXiv:2609.34371v12026Robust PPG-Exclusive Heart Rate Estimation During Maximal Exercise Using Population-Based Priors
Elisabetta De Giovanni, Iñigo Urteaga, Matteo Croci +1
eess.SParXiv:2610.37132v12026SyncRA: Learning Temporal Correspondence in Omni-Modal Models
Zelong Xu, Yan Li, Wenhe Hu +1
cs.CVcs.AIcs.MMarXiv:2609.34363v12026Efficient emulators of computer experiments using compactly supported correlation functions, with an application to cosmology
Cari G. Kaufman, Derek Bingham, Salman Habib +2
stat.MEstat.AParXiv:1107.0749v22011LabWorld: Learning Interactive 4D Worlds for Scientific Experimentation
Suozhi Huang, Kelsey Fu, Binxu Li +12
cs.CVarXiv:2610.36592v12026Commutator Memory: Sparse, Path-Local Reading and Steering in Language Models
John Sweeney
cs.LGcs.AIcs.CLarXiv:2609.34348v12026When Harness Beats Scale, and When Reading Beats Both
Ivan Bondarenko, Nikolay O. Nikitin
cs.CLcs.AIcs.IRarXiv:2609.34366v12026Solving the Kolmogorov PDE by means of deep learning
Christian Beck, Sebastian Becker, Philipp Grohs +2
math.NAcs.LGcs.NAarXiv:1806.00421v22018