
2025-06-13 07:40:20
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…
Beyond Compliance: A User-Autonomy Framework for Inclusive and Customizable Web Accessibility
Lalitha A R
https://arxiv.org/abs/2506.10324 https://
A criterion for holomorphic Lie algebroid connections
David Alfaya, Indranil Biswas, Pradip Kumar, Anoop Singh
https://arxiv.org/abs/2506.10514 https://
Algorithmic methods of finite discrete structures. Topological graph drawing (part III)
Sergey Kurapov, Maxim Davidovsky
https://arxiv.org/abs/2506.10936 h…
From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
Jordi de la Torre
https://arxiv.org/abs/2506.10021 https://
Practical Improvements of A/B Testing with Off-Policy Estimation
Sakhi Otmane, Gilotte Alexandre, Rohde David
https://arxiv.org/abs/2506.10677 https://
see also the #Anduril corporatese home page http://www.anduril.com for a slick peek at all the kewl weapons tech our #Instagram and #Facebook friends now power with their loyal attention.
Trouble is, telling them doesn't work. This frustration feels maybe something like what the kids say they feel like when their parents watch Fox?
Rotating Carroll Black Holes: A No Go Theorem
Ivan Kol\'a\v{r}, David Kubiznak, Poula Tadros
https://arxiv.org/abs/2506.10451 https://
Coherent states of finite-level systems
A. I. Breev, D. M. Gitman
https://arxiv.org/abs/2506.10668 https://arxiv.org/pdf/2506.10668…
Two coincidences are a clue: Probing a GeV-scale dark QCD sector
Yi Chung
https://arxiv.org/abs/2506.10928 https://arxiv.org/pdf/2506…
Eye, Robot: Learning to Look to Act with a BC-RL Perception-Action Loop
Justin Kerr, Kush Hari, Ethan Weber, Chung Min Kim, Brent Yi, Tyler Bonnen, Ken Goldberg, Angjoo Kanazawa
https://arxiv.org/abs/2506.10968
Symbolic Generation and Modular Embedding of High-Quality abc-Triples
Michael A. Idowu
https://arxiv.org/abs/2506.10039 https://arxiv…
A potential-theoretic approach to optimal stopping in a spectrally L\'evy Model
Masahiko Egami, Tomohiro Koike
https://arxiv.org/abs/2506.10538 https:/…
edit_wiktionary: Wiktionary edits (2010)
Three bipartite user-page networks extracted from Wiktionary, for French, German, and English. A user connects to a page if that user edited that page. Edits (edges) are timestamped. Edge weights represent counts of the number of edits.
This network has 28802 nodes and 66112 edges.
Tags: Informational, Web graph, Multigraph, Timestamps
AI-Based Software Vulnerability Detection: A Systematic Literature Review
Samiha Shimmi, Hamed Okhravi, Mona Rahimi
https://arxiv.org/abs/2506.10280 https:…
Generalist Models in Medical Image Segmentation: A Survey and Performance Comparison with Task-Specific Approaches
Andrea Moglia (Politecnico di Milano), Matteo Leccardi (Politecnico di Milano), Matteo Cavicchioli (Politecnico di Milano), Alice Maccarini (Universit\`a di Pavia), Marco Marcon (Politecnico di Milano), Luca Mainardi (Politecnico di Milano), Pietro Cerveri (Politecnico di Milano, Universit\`a di Pavia)
A Unifying Algorithm for Hierarchical Queries
Mahmoud Abo Khamis, Jesse Comer, Phokion Kolaitis, Sudeepa Roy, Val Tannen
https://arxiv.org/abs/2506.10238 h…
I updated my website's list of links to add @USERNAME@WEBSITE to every social media account I own.
This way, it’s clearer what my name is and which site it belongs to. It might look like federation, but it’s not on most sites; it just works as a placeholder.
Read more here: https://midtsveen.codeberg.page
Effects of the sheared flow velocity profile shape on impedance eduction in a 2D duct
Lucas A Bonomo, Edward J Brambley, Julio A Cordioli
https://arxiv.org/abs/2506.10129
Prediction of steady states in a marine ecosystem model by a machine learning technique
Sarker Miraz Mahfuz, Thomas Slawig
https://arxiv.org/abs/2506.10475
Dynamical Horizon Segments and Spacetime Isometries
Abhay Ashtekar, Badri Krishnan
https://arxiv.org/abs/2506.10190 https://arxiv.org…
Trace duality and additive complementary pairs of additive cyclic codes over finite chain rings
Sanjit Bhowmick, Kuntal Deka, Alexandre Fotue Tabue, Edgar Mart\'inez-Moro
https://arxiv.org/abs/2506.10381
Magnetophoresis of Weakly Magnetic Nanoparticle Suspension Around a Wire
Mohd Bilal Khan, Peter Rassolov, Jamel Ali, Theo Siegrist, Munir Humayun, Hadi Mohammadigoushki
https://arxiv.org/abs/2506.10018
The Urban Model Platform: A Public Backbone for Modeling and Simulation in Urban Digital Twins
Rico H Herzog, Till Degkwitz, Trivik Verma
https://arxiv.org/abs/2506.10964
Spectral Analysis of Discretized Boundary Integral Operators in 3D: a High-Frequency Perspective
V. Giunzioni, A. Merlini, F. P. Andriulli
https://arxiv.org/abs/2506.10880
Design of A* based heuristic algorithm for efficient interdiction in multi-Layer networks
Sukanya Samanta
https://arxiv.org/abs/2506.10017 https://
Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
Taichi Uemura
https://arxiv.org/abs/2506.10431 https://…
A Robust Optimization Framework for Flexible Industrial Energy Scheduling: Application to a Cement Plant with Market Participation
Sebasti\'an Rojas-Innocenti, Enrique Baeyens, Alejandro Mart\'in-Crespo, Sergio Saludes-Rodil, Fernando Frechoso Escudero
https://arxiv.org/abs/2506.10824
A semi-Lagrangian scheme for First-Order Mean Field Games based on monotone operators
Elisabetta Carlini, Valentina Coscetti
https://arxiv.org/abs/2506.10509
A voice for minorities: diversity in approval-based committee elections under incomplete or inaccurate information
Feline Lindeboom, Martijn Brehm, Davide Grossi, Pradeep Murukannaiah
https://arxiv.org/abs/2506.10843
Suns in triangle-free graphs of large chromatic number
Sepehr Hajebi, Sophie Spirkl
https://arxiv.org/abs/2506.10227 https://arxiv.or…
A closer look at the algebraic-operator correspondence between position and momentum space in Quantum Mechanics
Siddharth Dwivedi
https://arxiv.org/abs/2506.10950
Cybernetic Marionette: Channeling Collective Agency Through a Wearable Robot in a Live Dancer-Robot Duet
Anup Sathya, Jiasheng Li, Zeyu Yan, Adriane Fang, Bill Kules, Jonathan David Martin, Huaishu Peng
https://arxiv.org/abs/2506.10079
A Crack in the Bark: Leveraging Public Knowledge to Remove Tree-Ring Watermarks
Junhua Lin (University of Edinburgh), Marc Juarez (University of Edinburgh)
https://arxiv.org/abs/2506.10502
Topological A-Model for $AdS_5\times S^5$ Superstring and the Maldacena Conjecture
Nathan Berkovits (ICTP-SAIFR/IFT-UNESP, Sao Paulo)
https://arxiv.org/abs/2506.10907
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
https://arxiv.org/abs/2506.10781 https://
Are We Generalizing from the Exception? An In-the-Wild Study on Group-Sensitive Conversation Design in Human-Agent Interactions
Ana M\"uller, Sabina Jeschke, Anja Richert
https://arxiv.org/abs/2506.10462
A short way of counting maps to hypersurfaces in Grassmannians
Alina Marian, Shubham Sinha
https://arxiv.org/abs/2506.10593 https://a…
Bug Classification in Quantum Software: A Rule-Based Framework and Its Evaluation
Mir Mohammad Yousuf, Shabir Ahmad Sofi
https://arxiv.org/abs/2506.10397 h…
A space-time interface-fitted method for moving-subdomain distributed control problems with energy regularization
Quang Huy Nguyen, Phuong Cuc Hoang, Van Chien Le, Thi Thanh Mai Ta
https://arxiv.org/abs/2506.10924
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Kinnari Dave, Alejandro D\'iaz-Caro, Vladimir Zamdzhiev
https://arxiv.org/abs/2506.09545
Semi-Automated Quality Assurance in Digital Pathology: Tile Classification Approach
Meredith VandeHaar, M. Clinch, I. Yilmaz, M. A. Rahman, Y. Xiao, F. Dogany, H. M. Alazab, A. Nassar, Z. Akkus, B. Dangott
https://arxiv.org/abs/2506.10916
A Survey of Data Compression Algorithms and their Applications
Mohammad Hosseini
https://arxiv.org/abs/2506.10000 https://arxiv.org/p…
Momentum Multi-Marginal Schr\"odinger Bridge Matching
Panagiotis Theodoropoulos, Augustinos D. Saravanos, Evangelos A. Theodorou, Guan-Horng Liu
https://arxiv.org/abs/2506.10168
HBAR entropy of Infalling Atoms into a GUP-corrected Schwarzschild Black Hole and equivalence principle
Ali \"Ovg\"un, Reggie C. Pantig
https://arxiv.org/abs/2506.10621 …
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
https://arxiv.org/abs/2506.10739
The Ramsey number of the 4-cycle versus a book graph
Chunyang Dou, Tianyu Li, Qizhong Lin, Xing Peng
https://arxiv.org/abs/2506.10477 https://
Observation of High-Order Quantum Pancharatnam-Berry Phase with Structured Photons
Shuang-Yin Huang, He Jiang, Zhi-Cheng Ren, Zi-Mo Cheng, Wen-Zheng Zhu, Jing Gao, Chang Liu, Xi-Lin Wang, Hui-Tian Wang
https://arxiv.org/abs/2506.10692
ObfusBFA: A Holistic Approach to Safeguarding DNNs from Different Types of Bit-Flip Attacks
Xiaobei Yan, Han Qiu, Tianwei Zhang
https://arxiv.org/abs/2506.10744
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
https://arxiv.org/abs/2506.10913 h…
Boundary output feedback stabilization of a cascade of N heat equations
Hugo Lhachemi (L2S), Christophe Prieur (GIPSA-INFINITY), Emmanuel Tr\'elat (LJLL)
https://arxiv.org/abs/2506.10500
A Navigation Framework Utilizing Vision-Language Models
Yicheng Duan, Kaiyu tang
https://arxiv.org/abs/2506.10172 https://arxiv.org/p…
Finite temperature Casimir effect of a Lorentz-violating scalar with higher order derivatives
Andrea Erdas
https://arxiv.org/abs/2506.10284 https://…
The Role of Generative AI in Facilitating Social Interactions: A Scoping Review
T. T. J. E. Arets, G. Perugia, M. Houben, W. A. IJsselsteijn
https://arxiv.org/abs/2506.10927
Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088
MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
Quinn Thibeault, Giulia Pedrielli
https://arxiv.org/abs/2506.10869 https://
Geometric and Hodge-theoretic completion of period mappings
Haohua Deng
https://arxiv.org/abs/2506.10109 https://arxiv.org/pdf/2506.1…
Ultrahigh threshold nonstabilizer nonlinear quantum error correcting code
Maga Grafe, Kaixuan Zhou, Zaman Tekin, Zhiyuan Lin, Sen Li, Fengquan Zhang, Valentin Ivannikov, Tim Byrnes
https://arxiv.org/abs/2506.10445
Adaptive Chosen-Ciphertext Security of Distributed Broadcast Encryption
Kwangsu Lee
https://arxiv.org/abs/2506.10338 https://arxiv.or…
A Unified Framework for Probabilistic Dynamic-, Trajectory- and Vision-based Virtual Fixtures
Maximilian M\"uhlbauer, Freek Stulp, Sylvain Calinon, Alin Albu-Sch\"affer, Jo\~ao Silv\'erio
https://arxiv.org/abs/2506.10239
Approximate Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Dirichlet Boundary Condition with a Bounded Control
Larissa Fardigola, Kateryna Khalina
https://arxiv.org/abs/2506.10466
The Classification of Graphs on $8$ vertices with Coinciding Zero Forcing number and Maximum Nullity
Wayne Barrett, Mark Hunnell, John Hutchens, John Sinkovic
https://arxiv.org/abs/2506.10726
Extended Creativity: A Conceptual Framework for Understanding Human-AI Creative Relations
Andrea Gaggioli, Sabrina Bartolotta, Andrea Ubaldi, Katusha Gerardini, Eleonora Diletta Sarcinella, Alice Chirico
https://arxiv.org/abs/2506.10249
StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558
AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length
Junhang Cheng, Fang Liu, Chengru Wu, Li Zhang
https://arxiv.org/abs/2506.10525
A Language-Agnostic Logical Relation for Message-Passing Protocols
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
https://arxiv.org/abs/2506.10026
Deligne 1-motives with torsion and \'etale motives
Rapha\"el Ruimy
https://arxiv.org/abs/2506.10637 https://arxiv.org/pdf/25…
A Quantum Mechanical Pendulum Clock
Matteo Brunelli, Mohammad Mehboudi, Nicolas Brunner, Patrick P. Potts
https://arxiv.org/abs/2506.10666 https://
Vib2Move: In-Hand Object Reconfiguration via Fingertip Micro-Vibrations
Xili Yi, Nima Fazeli
https://arxiv.org/abs/2506.10923 https://
GOLIATH: A Decentralized Framework for Data Collection in Intelligent Transportation Systems
Davide Maffiola, Stefano Longari, Michele Carminati, Mara Tanelli, Stefano Zanero
https://arxiv.org/abs/2506.10665
Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD
Luke Halpin, Phillip Benachour, Tracy Hall, Ann-Marie Houghton, Emily Winter
https://arxiv.org/abs/2506.10598
The double of a simplicial complex
Kathryn Lesh, Bridget Schreiner, Nathalie Wahl
https://arxiv.org/abs/2506.10436 https://arxiv.org/…
The Gittins Index: A Design Principle for Decision-Making Under Uncertainty
Ziv Scully, Alexander Terenin
https://arxiv.org/abs/2506.10872 https://
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
https://arxiv.org/abs/2506.10501
Quantum secret sharing in a triangular superconducting quantum network
Haoxiong Yan, Allen Zang, Joel Grebel, Xuntao Wu, Ming-Han Chou, Gustav Andersson, Christopher R. Conner, Yash J. Joshi, Shiheng Li, Jacob M. Miller, Rhys G. Povey, Hong Qiao, Eric Chitambar, Andrew N. Cleland
https://arxiv.org/abs/2506.10878
Private Memorization Editing: Turning Memorization into a Defense to Strengthen Data Privacy in Large Language Models
Elena Sofia Ruzzetti, Giancarlo A. Xompero, Davide Venditti, Fabio Massimo Zanzotto
https://arxiv.org/abs/2506.10024
RICE: Reactive Interaction Controller for Cluttered Canopy Environment
Nidhi Homey Parayil, Thierry Peynot, Chris Lehnert
https://arxiv.org/abs/2506.10383 …
Counting Small Cycle Double Covers
Jorik Jooken, Ben Seamone, Carol T. Zamfirescu
https://arxiv.org/abs/2506.10604 https://arxiv.org/…
Controllability and Stabilization of a Wave-Heat Cascade System
Hugo Lhachemi (L2S), Christophe Prieur (GIPSA-INFINITY), Emmanuel Tr\'elat (LJLL)
https://arxiv.org/abs/2506.10495
Universal gates for a metastable qubit in strontium-88
Renhao Tao, Ohad Lib, Flavien Gyger, Hendrik Timme, Maximilian Ammenwerth, Immanuel Bloch, Johannes Zeiher
https://arxiv.org/abs/2506.10714
Video-Mediated Emotion Disclosure: A Study of Mental Health Vlogging by People with Schizophrenia on YouTube
Jiaying Lizzy Liu, Yan Zhang
https://arxiv.org/abs/2506.10932
MLLM-Based UI2Code Automation Guided by UI Layout Information
Fan Wu, Cuiyun Gao, Shuqing Li, Xin-Cheng Wen, Qing Liao
https://arxiv.org/abs/2506.10376 htt…
Multiverse Privacy Theory for Contextual Risks in Complex User-AI Interactions
Ece Gumusel
https://arxiv.org/abs/2506.10042 https://a…
EmbodiedGen: Towards a Generative 3D World Engine for Embodied Intelligence
Wang Xinjie, Liu Liu, Cao Yu, Wu Ruiqi, Qin Wenkang, Wang Dehui, Sui Wei, Su Zhizhong
https://arxiv.org/abs/2506.10600
Ordinarization numbers of numerical semigroups
Sogol Cyrusian, Nathan Kaplan
https://arxiv.org/abs/2506.10222 https://arxiv.org/pdf/2…
Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput
Gabriel Orlanski, Nicholas Roberts, Aws Albarghouthi, Frederic Sala
https://arxiv.org/abs/2506.10056
Unitary Scrambling and Collapse: A Quantum Diffusion Framework for Generative Modeling
Yihua Li, Jiayi Chen, Tamanna S. Kumavat, Kyriakos Flouris
https://arxiv.org/abs/2506.10571 …
A Novel Feedforward Youla Parameterization Method for Avoiding Local Minima in Stereo Image Based Visual Servoing Control
Rongfei Li, Francis Assadian
https://arxiv.org/abs/2506.10252
AURA: A Multi-Agent Intelligence Framework for Knowledge-Enhanced Cyber Threat Attribution
Nanda Rani, Sandeep Kumar Shukla
https://arxiv.org/abs/2506.10175
Saturable nonlinearity induced quantum correlations in optomechanics
D. R. Kenigoule Massembele, E. Kongkui Berinyuy, P. Djorwe, A. -H. Abdel-Aty, M. R. Eid, R. Altuijri, S. G. Nana Engo
https://arxiv.org/abs/2506.10709
Safeguarding Multimodal Knowledge Copyright in the RAG-as-a-Service Environment
Tianyu Chen, Jian Lou, Wenjie Wang
https://arxiv.org/abs/2506.10030 https:/…
In-Hand Object Pose Estimation via Visual-Tactile Fusion
Felix Nonnengie{\ss}er, Alap Kshirsagar, Boris Belousov, Jan Peters
https://arxiv.org/abs/2506.10787
Constructing Quantum Many-Body Scars from Hilbert Space Fragmentation
Fan Yang, Matteo Magoni, Hannes Pichler
https://arxiv.org/abs/2506.10806 https://
A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies
Sharad Shrestha, Mohammed Ababneh, Satyajayant Misra, Henry M. Cathey, Jr., Roopa Vishwanathan, Matt Jansen, Jinhong Choi, Rakesh Bobba, Yeongjin Jang
https://arxiv.org/abs/2506.10327
Using Language and Road Manuals to Inform Map Reconstruction for Autonomous Driving
Akshar Tumu, Henrik I. Christensen, Marcell Vazquez-Chanlatte, Chikao Tsuchiya, Dhaval Bhanderi
https://arxiv.org/abs/2506.10317
Quantifying Azure RBAC Wildcard Overreach
Christophe Parisel
https://arxiv.org/abs/2506.10755 https://arxiv.org/pdf/2506.10755…
From Threat to Tool: Leveraging Refusal-Aware Injection Attacks for Safety Alignment
Kyubyung Chae, Hyunbin Jin, Taesup Kim
https://arxiv.org/abs/2506.10020
Monitoring Decomposition Attacks in LLMs with Lightweight Sequential Monitors
Chen Yueh-Han, Nitish Joshi, Yulin Chen, Maksym Andriushchenko, Rico Angell, He He
https://arxiv.org/abs/2506.10949
ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
Chuyang Chen, Brendan Dolan-Gavitt, Zhiqiang Lin
https://arxiv.org/abs/2506.10323