Image de couverture de livre

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zulkifli, Kahfi S., Qian, Wenbo, Zhu, Shaowei, Zhou, Yuan, Zhang, Zhen, Lou, Chang
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
par: Pezeshkpour, Pouya, et autres
Publié: (2026)

Verified Lifting of Deep learning Operators
par: Zhan, Qi, et autres
Publié: (2024)

Faster Verified Explanations for Neural Networks
par: De Palma, Alessandro, et autres
Publié: (2025)

DaCe AD: Unifying High-Performance Automatic Differentiation for Machine Learning and Scientific Computing
par: Boudaoud, Afif, et autres
Publié: (2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
par: Tobler, James, et autres
Publié: (2025)

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
par: Yang, Chengcao
Publié: (2026)

VerifierQ: Enhancing LLM Test Time Compute with Q-Learning-based Verifiers
par: Qi, Jianing, et autres
Publié: (2024)

SEVerA: Verified Synthesis of Self-Evolving Agents
par: Banerjee, Debangshu, et autres
Publié: (2026)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
par: Fang, Jingzhi, et autres
Publié: (2026)

A Comprehensive Guide to Combining R and Python code for Data Science, Machine Learning and Reinforcement Learning
par: Navarro, Alejandro L. García, et autres
Publié: (2024)

Large Language Models Synergize with Automated Machine Learning
par: Xu, Jinglue, et autres
Publié: (2024)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
par: Weng, Han, et autres
Publié: (2025)

On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study
par: Mir, Amir M., et autres
Publié: (2024)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
par: Trofimova, Ekaterina, et autres
Publié: (2024)

The State of Julia for Scientific Machine Learning
par: Berman, Edward, et autres
Publié: (2024)

Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
par: Chen, Silin, et autres
Publié: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
par: Ravi, Nikil, et autres
Publié: (2026)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
par: Lai, Ruihang, et autres
Publié: (2023)

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
par: Gupta, Ahan, et autres
Publié: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
par: Kostopoulou, Kelly, et autres
Publié: (2024)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
par: Han, Chang, et autres
Publié: (2026)

Self-Infilling Code Generation
par: Zheng, Lin, et autres
Publié: (2023)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
par: Sharpe, Peter
Publié: (2025)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
par: You, Kaichao, et autres
Publié: (2024)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
par: Notton, Cassandre, et autres
Publié: (2026)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
par: Lacouture, Rubens, et autres
Publié: (2025)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
par: Bondhugula, Uday, et autres
Publié: (2026)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
par: Dong, Shouyang, et autres
Publié: (2025)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
par: Liu, Yiqun, et autres
Publié: (2026)

Learning Minimal Neural Specifications
par: Geng, Chuqin, et autres
Publié: (2024)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
par: Boruch-Gruszecki, Aleksander, et autres
Publié: (2025)

Verifying Chain-of-Thought Reasoning via Its Computational Graph
par: Zhao, Zheng, et autres
Publié: (2025)

Learning Structure-Aware Representations of Dependent Types
par: Kogkalidis, Konstantinos, et autres
Publié: (2024)

A Deep Learning Model for Predicting Transformation Legality
par: Tiwari, Avani, et autres
Publié: (2025)

MultiGPrompt for Multi-Task Pre-Training and Prompting on Graphs
par: Yu, Xingtong, et autres
Publié: (2023)

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
par: Kashmira, Savini, et autres
Publié: (2025)

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
par: Marinov, Teodor V., et autres
Publié: (2024)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
par: Alon, Yoav, et autres
Publié: (2024)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
par: Qin, Zhanyue, et autres
Publié: (2026)

CompilerDream: Learning a Compiler World Model for General Code Optimization
par: Deng, Chaoyi, et autres
Publié: (2024)