Copertina

Learning Provably Correct Distributed Protocols Without Human Knowledge

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hui, Yujie, Lu, Xiaoyi, Perrault, Andrew, Wang, Yang
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Distributed, Parallel, and Cluster Computing
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Privacy-Preserving Federated Learning: Integrating Zero-Knowledge Proofs in Scalable Distributed Architectures
di: Gupta, Divya
Pubblicazione: (2026)

IoT-MCP: Bridging LLMs and IoT Systems Through Model Context Protocol
di: Yang, Ningyuan, et al.
Pubblicazione: (2025)

DIAP: A Decentralized Agent Identity Protocol with Zero-Knowledge Proofs and a Hybrid P2P Stack
di: Liu, Yuanjie, et al.
Pubblicazione: (2025)

ECCENTRIC: Edge-Cloud Collaboration Framework for Distributed Inference Using Knowledge Adaptation
di: Kamani, Mohammad Mahdi, et al.
Pubblicazione: (2025)

Communication-Efficient Large-Scale Distributed Deep Learning: A Comprehensive Survey
di: Liang, Feng, et al.
Pubblicazione: (2024)

An Upload-Efficient Scheme for Transferring Knowledge From a Server-Side Pre-trained Generator to Clients in Heterogeneous Federated Learning
di: Zhang, Jianqing, et al.
Pubblicazione: (2024)

Resource Allocation and Workload Scheduling for Large-Scale Distributed Deep Learning: A Survey
di: Liang, Feng, et al.
Pubblicazione: (2024)

Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference
di: Wang, Zhanghan, et al.
Pubblicazione: (2025)

PacTrain: Pruning and Adaptive Sparse Gradient Compression for Efficient Collective Communication in Distributed Deep Learning
di: Wang, Yisu, et al.
Pubblicazione: (2025)

Vaccinating Federated Learning for Robust Modulation Classification in Distributed Wireless Networks
di: Lee, Hunmin, et al.
Pubblicazione: (2024)

Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents
di: Sheng, Weiming, et al.
Pubblicazione: (2026)

High-Dimensional Data Processing: Benchmarking Machine Learning and Deep Learning Architectures in Local and Distributed Environments
di: Rodriguez, Julian, et al.
Pubblicazione: (2025)

DGRAG: Distributed Graph-based Retrieval-Augmented Generation in Edge-Cloud Systems
di: Zhou, Wenqing, et al.
Pubblicazione: (2025)

ParaGAN: A Scalable Distributed Training Framework for Generative Adversarial Networks
di: Shi, Ziji, et al.
Pubblicazione: (2024)

InfiniPipe: Elastic Pipeline Parallelism for Efficient Variable-Length Long-Context LLM Training
di: Wang, Shiju, et al.
Pubblicazione: (2025)

Placement Semantics for Distributed Deep Learning: A Systematic Framework for Analyzing Parallelism Strategies
di: Mehta, Deep Pankajbhai
Pubblicazione: (2026)

DWDP: Distributed Weight Data Parallelism for High-Performance LLM Inference on NVL72
di: Li, Wanqian, et al.
Pubblicazione: (2026)

Byzantine Fault-Tolerant Multi-Agent System for Healthcare: A Gossip Protocol Approach to Secure Medical Message Propagation
di: Chadderwala, Nihir
Pubblicazione: (2025)

Towards an Introspective Dynamic Model of Globally Distributed Computing Infrastructures
di: Kilic, Ozgur O., et al.
Pubblicazione: (2025)

Failure-Resilient Distributed Inference with Model Compression over Heterogeneous Edge Devices
di: Wang, Li, et al.
Pubblicazione: (2024)

Lightweight Trustworthy Distributed Clustering
di: Li, Hongyang, et al.
Pubblicazione: (2025)

HETHUB: A Distributed Training System with Heterogeneous Cluster for Large-Scale Models
di: Xu, Si, et al.
Pubblicazione: (2024)

Electricity Cost Minimization for Multi-Workflow Allocation in Geo-Distributed Data Centers
di: Wang, Shuang, et al.
Pubblicazione: (2025)

On the Fragility of Data Attribution When Learning Is Distributed
di: Gao, Xian, et al.
Pubblicazione: (2026)

Distributed Neural Representation for Reactive in situ Visualization
di: Wu, Qi, et al.
Pubblicazione: (2023)

Demystifying the Communication Characteristics for Distributed Transformer Models
di: Anthony, Quentin, et al.
Pubblicazione: (2024)

KORAL: Knowledge Graph Guided LLM Reasoning for SSD Operational Analysis
di: Akewar, Mayur, et al.
Pubblicazione: (2026)

Block: Balancing Load in LLM Serving with Context, Knowledge and Predictive Scheduling
di: Da, Wei, et al.
Pubblicazione: (2025)

Galvatron: An Automatic Distributed System for Efficient Foundation Model Training
di: Liu, Xinyi, et al.
Pubblicazione: (2025)

iScheduler: Reinforcement Learning-Driven Continual Optimization for Large-Scale Resource Investment Problems
di: Hu, Yi-Xiang, et al.
Pubblicazione: (2026)

Counting Without Running: Evaluating LLMs' Reasoning About Code Complexity
di: Bolet, Gregory, et al.
Pubblicazione: (2025)

Scalable AI-assisted Workflow Management for Detector Design Optimization Using Distributed Computing
di: Anderson, Derek, et al.
Pubblicazione: (2026)

Fire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep Learning
di: An, Wei, et al.
Pubblicazione: (2024)

ModTrans: Translating Real-world Models for Distributed Training Simulator
di: Lyu, Yi
Pubblicazione: (2026)

Profiling-Driven Adaptive Distributed Transformer Inference on Embedded Edge Deployment
di: Qazi, Muhammad Azlan, et al.
Pubblicazione: (2026)

Dora: QoE-Aware Hybrid Parallelism for Distributed Edge AI
di: Jin, Jianli, et al.
Pubblicazione: (2025)

Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
di: Borjigin, Ailiya, et al.
Pubblicazione: (2025)

Boosting Multimodal Federated Learning via Chained Modality Optimization
di: Zhang, Zixin, et al.
Pubblicazione: (2026)

Towards Carbon-Aware Container Orchestration: Predicting Workload Energy Consumption with Federated Learning
di: Saad, Zainab, et al.
Pubblicazione: (2025)

Distributed LLM Pretraining During Renewable Curtailment Windows: A Feasibility Study
di: Wiesner, Philipp, et al.
Pubblicazione: (2026)