
2025-07-03 07:53:20
LeanLTL: A unifying framework for linear temporal logics in Lean
Eric Vin, Kyle A. Miller, Daniel J. Fremont
https://arxiv.org/abs/2507.01780 https://
LeanLTL: A unifying framework for linear temporal logics in Lean
Eric Vin, Kyle A. Miller, Daniel J. Fremont
https://arxiv.org/abs/2507.01780 https://
EDGChain-E: A Decentralized Git-Based Framework for Versioning Encrypted Energy Data
Alper Alimoglu, Kamil Erdayandi, Mustafa A. Mustafa, \"Umit Cali
https://arxiv.org/abs/2507.01615
Eka-Eval : A Comprehensive Evaluation Framework for Large Language Models in Indian Languages
Samridhi Raj Sinha, Rajvee Sheth, Abhishek Upperwal, Mayank Singh
https://arxiv.org/abs/2507.01853
This https://arxiv.org/abs/2505.24034 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
A Data Science Approach to Calcutta High Court Judgments: An Efficient LLM and RAG-powered Framework for Summarization and Similar Cases Retrieval
Puspendu Banerjee, Aritra Mazumdar, Wazib Ansar, Saptarsi Goswami, Amlan Chakrabarti
https://arxiv.org/abs/2507.01058
This https://arxiv.org/abs/2409.10289 has been replaced.
link: https://scholar.google.com/scholar?q=a
RoboTwin: A Robotic Teleoperation Framework Using Digital Twins
Harsha Yelchuri, Diwakar Kumar Singh, Nithish Krishnabharathi Gnani, T V Prabhakar, Chandramani Singh
https://arxiv.org/abs/2506.01027
Poster: FedBlockParadox -- A Framework for Simulating and Securing Decentralized Federated Learning
Gabriele Digregorio, Francesco Bleggi, Federico Caroli, Michele Carminati, Stefano Zanero, Stefano Longari
https://arxiv.org/abs/2506.02679
VeFIA: An Efficient Inference Auditing Framework for Vertical Federated Collaborative Software
Chung-ju Huang, Ziqi Zhang, Yinggui Wang, Binghui Wang, Tao Wei, Leye Wang
https://arxiv.org/abs/2507.02376
A Reliable Vertical Federated Learning Framework for Traffic State Estimation with Data Selection and Incentive Mechanisms
Zijun Zhan, Yaxian Dong, Daniel Mawunyo Doe, Yuqing Hu, Shuai Li, Shaohua Cao, Zhu Han
https://arxiv.org/abs/2506.01285
Regionalized Metric Framework: A Novel Approach for Evaluating Multimodal Multi-Objective Optimization Algorithms
Jintai Chen, Fangqing Liu, Xueming Yan, Han Huang
https://arxiv.org/abs/2506.00468
A Practical SAFE-AI Framework for Small and Medium-Sized Enterprises Developing Medical Artificial Intelligence Ethics Policies
Ion Nemteanu, Adir Mancebo Jr., Leslie Joe, Ryan Lopez, Patricia Lopez, Warren Woodrich Pettine
https://arxiv.org/abs/2507.01304
Resolving Turbulent Magnetohydrodynamics: A Hybrid Operator-Diffusion Framework
Semih Kacmaz, E. A. Huerta, Roland Haas
https://arxiv.org/abs/2507.02106 ht…
Real-time Light Curve Classification Framework for the Wide Field Survey Telescope Using Modified Semi-supervised Variational Auto-Encoder
Yongling Tang, Lulu Fan, Zhen Wan, Yating Liu, Yan Lu
https://arxiv.org/abs/2506.01216
A Ranking Framework for Network Resource Allocation and Scheduling via Hypergraphs
Rajpreet Singh, Novak Bo\v{s}kov, Aditya Gudal, Manzoor A. Khan
https://arxiv.org/abs/2506.01571
A novel two-stage parameter estimation framework integrating Approximate Bayesian Computation and Machine Learning: The ABC-RF-rejection algorithm
Renata Retkute, Christopher A. Gilligan
https://arxiv.org/abs/2507.02072
A Gaussian process framework for testing general relativity with gravitational waves
Lachlan Passenger, Shun Yin Cheung, Nir Guttman, Nikhil Kannachel, Paul D. Lasky, Eric Thrane
https://arxiv.org/abs/2507.01294
DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMs
Mohammad Akyash, Kimia Azar, Hadi Kamali
https://arxiv.org/abs/2507.02226 https://…
MotionRAG-Diff: A Retrieval-Augmented Diffusion Framework for Long-Term Music-to-Dance Generation
Mingyang Huang, Peng Zhang, Bang Zhang
https://arxiv.org/abs/2506.02661
A trust-region framework for optimization using Hermite kernel surrogate models
Sven Ullmann, Tobias Ehring, Robin Herkert, Bernard Haasdonk
https://arxiv.org/abs/2507.01729
A Bayesian PINN Framework for Barrow-Tsallis Holographic Dark Energy with Neutrinos: Toward a Resolution of the Hubble Tension
Muhammad Yarahmadi, Amin Salehi
https://arxiv.org/abs/2506.02235
Higher Order Rigidity and Energy
Steven J. Gortler, Miranda Holmes-Cerfon, Louis Theran
https://arxiv.org/abs/2506.03108 https://arxi…
AI-Augmented OTDR Fault Localization Framework for Resilient Rural Fiber Networks in the United States
Sabab Al Farabi (Department of Industrial Engineering, Lamar University, Beaumont, Texas, USA)
https://arxiv.org/abs/2506.03041
An efficient GPU-accelerated adaptive mesh refinement framework for high-fidelity compressible reactive flows modeling
Yuqi Wang, Yadong Zeng, Ralf Deiterding, Jianhan Liang
https://arxiv.org/abs/2506.02602
A Methodological Framework for Capturing Cognitive-Affective States in Collaborative Learning
Sifatul Anindho, Videep Venkatesha, Nathaniel Blanchard
https://arxiv.org/abs/2507.01166
IC-Custom: Diverse Image Customization via In-Context Learning
Yaowei Li, Xiaoyu Li, Zhaoyang Zhang, Yuxuan Bian, Gan Liu, Xinyuan Li, Jiale Xu, Wenbo Hu, Yating Liu, Lingen Li, Jing Cai, Yuexian Zou, Yancheng He, Ying Shan
https://arxiv.org/abs/2507.01926
Evaluation of "As-Intended" Vehicle Dynamics using the Active Inference Framework
Kazuharu Kidera, Takuma Miyaguchi, Hideyoshi Yanagisawa
https://arxiv.org/abs/2506.00035
ThinkTank: A Framework for Generalizing Domain-Specific AI Agent Systems into Universal Collaborative Intelligence Platforms
Praneet Sai Madhu Surabhi, Dheeraj Reddy Mudireddy, Jian Tao
https://arxiv.org/abs/2506.02931
MEGANet-W: A Wavelet-Driven Edge-Guided Attention Framework for Weak Boundary Polyp Detection
Zhe Yee Tan
https://arxiv.org/abs/2507.02668 https://
A Hybrid Ensemble Learning Framework for Image-Based Solar Panel Classification
Vivek Tetarwal, Sandeep Kumar
https://arxiv.org/abs/2507.01778 https://
Framework for Solving Fractional Stochastic Integral-Differential Equations
O. T. Birgani, J. F. Peters, S. Kouhkani
https://arxiv.org/abs/2506.00017 https…
Development of Hardware-in-Loop Framework for Satellite Communication Self-Healing Networks
Sambrama, Venkata Srirama Rohit Kantheti, Liang C Chu, Erik Blasch, Shih-Chun Lin
https://arxiv.org/abs/2506.01210
Trans-series from condensates in the non-linear sigma model
Yizhuang Liu, Marcos Mari\~no
https://arxiv.org/abs/2507.02605 https://ar…
A Hybrid Perspective on Suboptimal Mixed-Integer Quadratic Programming
Luke Fina, Christopher Petersen
https://arxiv.org/abs/2507.02772 https://
Machine Learning Based Stress Testing Framework for Indian Financial Market Portfolios
Vidya Sagar G, Shifat Ali, Siddhartha P. Chakrabarty
https://arxiv.org/abs/2507.02011
Sodium-Decorated P-C3N: A Porous 2D Framework for High-Capacity and Reversible Hydrogen Storage
Jose A. S. Laranjeira, Nicolas F. Martins, Kleuton A. L. Lima, Lingtao Xiao, Xihao Chen, Luiz A. Ribeiro Junior, Julio R. Sambrano
https://arxiv.org/abs/2506.02374
Time-Varying Coverage Control: A Distributed Tracker-Planner MPC Framework
Patrick Benito Eberhard, Johannes K\"ohler, Oliver H\"usser, Melanie N. Zeilinger, Andrea Carron
https://arxiv.org/abs/2507.01567
A High-Performance Multilevel Framework for Quantum Layout Synthesis
Shuohao Ping, Naren Sathishkumar, Wan-Hsuan Lin, Hanyu Wang, Jason Cong
https://arxiv.org/abs/2505.24169
Thermodynamics: A Clear Conceptual Framework
Joaquim Anacleto
https://arxiv.org/abs/2507.02023 https://arxiv.org/pdf/2507.02023
This https://arxiv.org/abs/2401.00263 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…
AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
Satoshi Tanaka, Samrat Thapa, Kok Seang Tan, Amadeusz Szymko, Lobos Kenzo, Koji Minoda, Shintaro Tomie, Kotaro Uetake, Guolong Zhang, Isamu Yamashita, Takamasa Horibe
https://arxiv.org/abs/2506.00645
This https://arxiv.org/abs/2505.23516 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
Agentic AI in Product Management: A Co-Evolutionary Model
Nishant A. Parikh
https://arxiv.org/abs/2507.01069 https://arxiv.org/pdf/25…
AI Data Development: A Scorecard for the System Card Framework
Tadesse K. Bahiru, Haileleol Tibebu, Ioannis A. Kakadiaris
https://arxiv.org/abs/2506.02071 …
A Dynamic Framework for Semantic Grouping of Common Data Elements (CDE) Using Embeddings and Clustering
Madan Krishnamurthy, Daniel Korn, Melissa A Haendel, Christopher J Mungall, Anne E Thessen
https://arxiv.org/abs/2506.02160
Bridging Global Frameworks: Governance Strategies Behind Cisco Common Control Framework v4.0 for Scalable Cloud Compliance
Nishant Sonkar
https://arxiv.org/abs/2506.01984
A Comprehensive Machine Learning Framework for Micromobility Demand Prediction
Omri Porat, Michael Fire, Eran Ben-Elia
https://arxiv.org/abs/2507.02715 htt…
A Study on the MCP x A2A Framework for Enhancing Interoperability of LLM-based Autonomous Agents
Cheonsu Jeong
https://arxiv.org/abs/2506.01804 https://
SynapseRoute: An Auto-Route Switching Framework on Dual-State Large Language Model
Wencheng Zhang, Shiqin Qiao, Lingjie Luo, Yinfeng Li, Chuanyang Zheng, Qian Xu, Meng Li, Yong Gui, Yijun He, Jianing Qiu, Jindong Hong, Jiankai Sun
https://arxiv.org/abs/2507.02822
This https://arxiv.org/abs/2505.13182 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
Developing a Risk Identification Framework for Foundation Model Uses
David Piorkowski, Michael Hind, John Richards, Jacquelyn Martino
https://arxiv.org/abs/2506.02066
Factorized Tail Volatility Model: Augmenting Excess-over-Threshold Method for High-Dimensional Hevay-Tailed Data
Yifan Hu, Yanxi Hou
https://arxiv.org/abs/2506.00840
DriveMind: A Dual-VLM based Reinforcement Learning Framework for Autonomous Driving
Dawood Wasif, Terrence J Moore, Chandan K Reddy, Jin-Hee Cho
https://arxiv.org/abs/2506.00819
A 3D Mobile Crowdsensing Framework for Sustainable Urban Digital Twins
Taku Yamazaki (Shibaura Institute of Technology), Kaito Watanabe (Shibaura Institute of Technology), Tatsuya Kase (Shibaura Institute of Technology), Kenta Hasegawa (Shibaura Institute of Technology), Koki Saida (Shibaura Institute of Technology), Takumi Miyoshi (Shibaura Institute of Technology)
This https://arxiv.org/abs/2405.04860 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
MAEBE: Multi-Agent Emergent Behavior Framework
Sinem Erisken (Independent Researcher), Timothy Gothard (Independent Researcher), Martin Leitgab (Independent Researcher), Ram Potham (Independent Researcher)
https://arxiv.org/abs/2506.03053
Innovative Tangible Interactive Games for Enhancing Artificial Intelligence Knowledge and Literacy in Elementary Education: A Pedagogical Framework
Nikolaos Sampanis
https://arxiv.org/abs/2506.00651
A Concurrent Multiscale Framework Coupling Direct Simulation Monte Carlo and Molecular Dynamics
Tim Linke, Dane Sterbentz, Niels Gr{\o}nbech-Jensen, Jean-Pierre Delplanque, Jonathan Belof
https://arxiv.org/abs/2506.01924
A Two-Stage Hierarchical Deep Filtering Framework for Real-Time Speech Enhancement
Shenghui Lu, Hukai Huang, Jinanglong Yao, Kaidi Wang, Qingyang Hong, Lin Li
https://arxiv.org/abs/2506.01023
This https://arxiv.org/abs/2408.07621 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIT_…
Interior of a black hole in the framework of the scalar quasiparticle model
Sergey Bondarenko, Dima Cheskis, Raghvendra Singh
https://arxiv.org/abs/2506.02944
Ethical AI: Towards Defining a Collective Evaluation Framework
Aasish Kumar Sharma, Dimitar Kyosev, Julian Kunkel
https://arxiv.org/abs/2506.00233 https://…
iQUEST: An Iterative Question-Guided Framework for Knowledge Base Question Answering
Shuai Wang, Yinan Yu
https://arxiv.org/abs/2506.01784 https://
This https://arxiv.org/abs/2409.12874 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…
UniConFlow: A Unified Constrained Generalization Framework for Certified Motion Planning with Flow Matching Models
Zewen Yang, Xiaobing Dai, Dian Yu, Qianru Li, Yu Li, Valentin Le Mesle
https://arxiv.org/abs/2506.02955
This https://arxiv.org/abs/2505.24584 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
A General Approach to the Shape Transition of Run-and-Tumble Particles: The 1D PDMP Framework for Invariant Measure Regularity
Leo Hahn
https://arxiv.org/abs/2506.02274
A Positivity-Preserving Finite Element Framework for Accurate Dose Computation in Proton Therapy
Ben S. Ashby, Abdalaziz Hamdan, Tristan Pryer
https://arxiv.org/abs/2506.01105
Are Crypto Ecosystems (De)centralizing? A Framework for Longitudinal Analysis
Harang Ju, Ehsan Valavi, Madhav Kumar, Sinan Aral
https://arxiv.org/abs/2506.02324
D-Rex: Heterogeneity-Aware Reliability Framework and Adaptive Algorithms for Distributed Storage
Maxime Gonthier (University of Chicago, Argonne National Laboratory), Dante D. Sanchez-Gallegos (Universidad Carlos III de Madrid), Haochen Pan (University of Chicago), Bogdan Nicolae (Argonne National Laboratory), Sicheng Zhou (Southern University of Science and Technology), Hai Duc Nguyen (University of Chicago, Argonne National Laboratory), Valerie Hayot-Sasson (University of Chicago, Ar…
DARTS: A Dual-View Attack Framework for Targeted Manipulation in Federated Sequential Recommendation
Qitao Qin, Yucong Luo, Zhibo Chu
https://arxiv.org/abs/2507.01383
This https://arxiv.org/abs/2505.23397 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…
Spatial Coordinates as a Cell Language: A Multi-Sentence Framework for Imaging Mass Cytometry Analysis
Chi-Jane Chen, Yuhang Chen, Sukwon Yun, Natalie Stanley, Tianlong Chen
https://arxiv.org/abs/2506.01918
A Bayesian framework for change-point detection with uncertainty quantification
Davis Berlind, Lorenzo Cappello, Oscar Hernan Madrid Padilla
https://arxiv.org/abs/2507.01558
High-Order Deep Meta-Learning with Category-Theoretic Interpretation
David H. Mguni
https://arxiv.org/abs/2507.02634 https://arxiv.or…
This https://arxiv.org/abs/2406.06842 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIT_…
This https://arxiv.org/abs/2503.14353 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…
An Accurate and Efficient Vulnerability Propagation Analysis Framework
Bonan Ruan, Zhiwei Lin, Jiahao Liu, Chuqi Zhang, Kaihang Ji, Zhenkai Liang
https://arxiv.org/abs/2506.01342 …
This https://arxiv.org/abs/2506.01220 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Flotilla: A scalable, modular and resilient federated learning framework for heterogeneous resources
Roopkatha Banerjee, Prince Modi, Jinal Vyas, Chunduru Sri Abhijit, Tejus Chandrashekar, Harsha Varun Marisetty, Manik Gupta, Yogesh Simmhan
https://arxiv.org/abs/2507.02295
FAIR-MATCH: A Multi-Objective Framework for Bias Mitigation in Reciprocal Dating Recommendations
Madhav Kotecha
https://arxiv.org/abs/2507.01063 https://…
This https://arxiv.org/abs/2410.04444 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…
Functionality Assessment Framework for Autonomous Driving Systems using Subjective Networks
Stefan Orf, Sven Ochs, Valentin Marotta, Oliver Conder, Marc Ren\'e Zofka, J. Marius Z\"ollner
https://arxiv.org/abs/2506.02922
Root/Additional Metric (RoAM) framework: a guide for goal-centred metric construction
Luke E. B. Goodyear, Daniel Pincheira-Donoso
https://arxiv.org/abs/2507.01526
This https://arxiv.org/abs/2505.02515 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
Beyond Monoliths: Expert Orchestration for More Capable, Democratic, and Safe Large Language Models
Philip Quirke, Narmeen Oozeer, Chaithanya Bandi, Amir Abdullah, Jason Hoelscher-Obermaier, Jeff M. Phillips, Joshua Greaves, Clement Neo, Fazl Barez, Shriyash Upadhyay
https://arxiv.org/abs/2506.00051
On the Convergence of Large Language Model Optimizer for Black-Box Network Management
Hoon Lee, Wentao Zhou, Merouane Debbah, Inkyu Lee
https://arxiv.org/abs/2507.02689
Integrated Sensing, Computing and Semantic Communication for Vehicular Networks
Yinchao Yang, Zhaohui Yang, Chongwen Huang, Wei Xu, Zhaoyang Zhang, Dusit Niyato, Mohammad Shikh-Bahaei
https://arxiv.org/abs/2506.00522
This https://arxiv.org/abs/2505.23655 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
A Hierarchical Bin Packing Framework with Dual Manipulators via Heuristic Search and Deep Reinforcement Learning
Beomjoon Lee, Changjoo Nam
https://arxiv.org/abs/2506.01628
AliBoost: Ecological Boosting Framework in Alibaba Platform
Qijie Shen, Yuanchen Bei, Zihong Huang, Jialin Zhu, Keqin Xu, Boya Du, Jiawei Tang, Yuning Jiang, Feiran Huang, Xiao Huang, Hao Chen
https://arxiv.org/abs/2506.00954
AI Analyst: Framework and Comprehensive Evaluation of Large Language Models for Financial Time Series Report Generation
Elizabeth Fons, Elena Kochkina, Rachneet Kaur, Zhen Zeng, Berowne Hlavaty, Charese Smiley, Svitlana Vyetrenko, Manuela Veloso
https://arxiv.org/abs/2507.00718
Integrating Expert Knowledge and Recursive Bayesian Inference: A Framework for Spatial and Spatio-Temporal Data Challenges
Mario Figueira, David Conesa, Antonio L\'opez-Qu\'ilez, H{\aa}vard Rue
https://arxiv.org/abs/2506.00221
A Late Collaborative Perception Framework for 3D Multi-Object and Multi-Source Association and Fusion
Maryem Fadili (VeDeCom, IRSEEM), Mohamed Anis Ghaoui (VeDeCom), Louis Lecrosnier (IRSEEM, ESIGELEC), Steve Pechberti (VeDeCom), Redouane Khemmar (IRSEEM, ESIGELEC, IRSEEM)
https://arxiv.org/abs/2507.02430
MMM4Rec: An Transfer-Efficient Framework for Multi-modal Sequential Recommendation
Hao Fan, Yanrong Hu, Kai Fang, Qingyang Liu, Hongjiu Liu
https://arxiv.org/abs/2506.02916
$\text{TREX}^2$: Dual-Reconstruction Framework for Teleoperated-Robot with EXtended Reality
Ziliang Zhang, Cong Liu, Hyoseung Kim
https://arxiv.org/abs/2506.01135
Learning with pyCub: A New Simulation and Exercise Framework for Humanoid Robotics
Lukas Rustler, Matej Hoffmann
https://arxiv.org/abs/2506.01756 https://
This https://arxiv.org/abs/2411.06256 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…
Robust and Safe Multi-Agent Reinforcement Learning Framework with Communication for Autonomous Vehicles
Keshawn Smith, Zhili Zhang, H M Sabbir Ahmad, Ehsan Sabouni, Maniak Mondal, Song Han, Wenchao Li, Fei Miao
https://arxiv.org/abs/2506.00982
iRonCub 3: The Jet-Powered Flying Humanoid Robot
Davide Gorbani, Hosameldin Awadalla Omer Mohamed, Giuseppe L'Erario, Gabriele Nava, Punith Reddy Vanteddu, Shabarish Purushothaman Pillai, Antonello Paolino, Fabio Bergonti, Saverio Taliani, Alessandro Croci, Nicholas James Tremaroli, Silvio Traversaro, Bruno Vittorio Trombetta, Daniele Pucci
https…