Buchumschlag

SoD$^2$: Statically Optimizing Dynamic Deep Neural Network

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Niu, Wei, Agrawal, Gagan, Ren, Bin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph
von: Gong, Junfeng, et al.
Veröffentlicht: (2025)

Forklift: An Extensible Neural Lifter
von: Armengol-Estapé, Jordi, et al.
Veröffentlicht: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
von: Vaduguru, Saujas, et al.
Veröffentlicht: (2023)

AutoPDL: Automatic Prompt Optimization for LLM Agents
von: Spiess, Claudio, et al.
Veröffentlicht: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
von: Pennino, Federico, et al.
Veröffentlicht: (2025)

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
von: Tang, Annabelle Sujun, et al.
Veröffentlicht: (2025)

Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
von: Chen, Hongzheng, et al.
Veröffentlicht: (2026)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
von: Lai, Ruihang, et al.
Veröffentlicht: (2023)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
von: Gu, Alex, et al.
Veröffentlicht: (2025)

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
von: Nadimi, Bardia, et al.
Veröffentlicht: (2025)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
von: Fang, Jingzhi, et al.
Veröffentlicht: (2026)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
von: Tang, Annabelle Sujun, et al.
Veröffentlicht: (2026)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
von: Liu, Max, et al.
Veröffentlicht: (2024)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
von: Pan, Haolin, et al.
Veröffentlicht: (2026)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
von: Shen, Chen, et al.
Veröffentlicht: (2026)

Learning Dynamics of Deep Learning -- Force Analysis of Deep Neural Networks
von: Ren, Yi
Veröffentlicht: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Scorch: A Library for Sparse Deep Learning
von: Yan, Bobby, et al.
Veröffentlicht: (2024)

Neural Task Synthesis for Visual Programming
von: Pădurean, Victor-Alexandru, et al.
Veröffentlicht: (2023)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Switchable Decision: Dynamic Neural Generation Networks
von: Zhang, Shujian, et al.
Veröffentlicht: (2024)

Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
von: Hong, Charles, et al.
Veröffentlicht: (2025)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
von: Zhong, Hua, et al.
Veröffentlicht: (2025)

Interactive Training: Feedback-Driven Neural Network Optimization
von: Zhang, Wentao, et al.
Veröffentlicht: (2025)

Training Language Models via Neural Cellular Automata
von: Lee, Dan, et al.
Veröffentlicht: (2026)

The Elements of Differentiable Programming
von: Blondel, Mathieu, et al.
Veröffentlicht: (2024)

An LLM-Tool Compiler for Fused Parallel Function Calling
von: Singh, Simranjit, et al.
Veröffentlicht: (2024)

Probabilistic Programming with Programmable Variational Inference
von: Becker, McCoy R., et al.
Veröffentlicht: (2024)

Curriculum Learning for Small Code Language Models
von: Naïr, Marwa, et al.
Veröffentlicht: (2024)

Searching for Programmatic Policies in Semantic Spaces
von: Moraes, Rubens O., et al.
Veröffentlicht: (2024)

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
von: Matricon, Théo, et al.
Veröffentlicht: (2024)

Mirage: A Multi-Level Superoptimizer for Tensor Programs
von: Wu, Mengdi, et al.
Veröffentlicht: (2024)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
von: Fang, Xiangxin, et al.
Veröffentlicht: (2024)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
von: You, Kaichao, et al.
Veröffentlicht: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
von: Yang, Chengcao
Veröffentlicht: (2026)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
von: Li, Zhening, et al.
Veröffentlicht: (2025)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
von: Liu, Yiqun, et al.
Veröffentlicht: (2026)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
von: Zhang, Xiao, et al.
Veröffentlicht: (2025)

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
von: Armengol-Estapé, Jordi, et al.
Veröffentlicht: (2025)