Cover Image

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zulkifli, Kahfi S., Qian, Wenbo, Zhu, Shaowei, Zhou, Yuan, Zhang, Zhen, Lou, Chang
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
by: Pezeshkpour, Pouya, et al.
Published: (2026)

Verified Lifting of Deep learning Operators
by: Zhan, Qi, et al.
Published: (2024)

Faster Verified Explanations for Neural Networks
by: De Palma, Alessandro, et al.
Published: (2025)

DaCe AD: Unifying High-Performance Automatic Differentiation for Machine Learning and Scientific Computing
by: Boudaoud, Afif, et al.
Published: (2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
by: Tobler, James, et al.
Published: (2025)

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

VerifierQ: Enhancing LLM Test Time Compute with Q-Learning-based Verifiers
by: Qi, Jianing, et al.
Published: (2024)

SEVerA: Verified Synthesis of Self-Evolving Agents
by: Banerjee, Debangshu, et al.
Published: (2026)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
by: Fang, Jingzhi, et al.
Published: (2026)

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

Large Language Models Synergize with Automated Machine Learning
by: Xu, Jinglue, et al.
Published: (2024)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
by: Weng, Han, et al.
Published: (2025)

On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study
by: Mir, Amir M., et al.
Published: (2024)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
by: Trofimova, Ekaterina, et al.
Published: (2024)

The State of Julia for Scientific Machine Learning
by: Berman, Edward, et al.
Published: (2024)

Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
by: Chen, Silin, et al.
Published: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
by: Lai, Ruihang, et al.
Published: (2023)

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
by: Gupta, Ahan, et al.
Published: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
by: Kostopoulou, Kelly, et al.
Published: (2024)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
by: Han, Chang, et al.
Published: (2026)

Self-Infilling Code Generation
by: Zheng, Lin, et al.
Published: (2023)

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

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
by: You, Kaichao, et al.
Published: (2024)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
by: Notton, Cassandre, et al.
Published: (2026)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
by: Lacouture, Rubens, et al.
Published: (2025)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
by: Bondhugula, Uday, et al.
Published: (2026)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
by: Dong, Shouyang, et al.
Published: (2025)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
by: Liu, Yiqun, et al.
Published: (2026)

Learning Minimal Neural Specifications
by: Geng, Chuqin, et al.
Published: (2024)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)

Verifying Chain-of-Thought Reasoning via Its Computational Graph
by: Zhao, Zheng, et al.
Published: (2025)

Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)

A Deep Learning Model for Predicting Transformation Legality
by: Tiwari, Avani, et al.
Published: (2025)

MultiGPrompt for Multi-Task Pre-Training and Prompting on Graphs
by: Yu, Xingtong, et al.
Published: (2023)

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
by: Kashmira, Savini, et al.
Published: (2025)

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
by: Marinov, Teodor V., et al.
Published: (2024)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
by: Alon, Yoav, et al.
Published: (2024)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
by: Qin, Zhanyue, et al.
Published: (2026)

CompilerDream: Learning a Compiler World Model for General Code Optimization
by: Deng, Chaoyi, et al.
Published: (2024)