Copertina

Compressing Structured Tensor Algebra

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ghorbani, Mahdi, Bauer, Emilien, Grosser, Tobias, Shaikhha, Amir
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Machine Learning Mathematical Software
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

CuTe Layout Representation and Algebra
di: Cecka, Cris
Pubblicazione: (2026)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
di: Absar, Javed, et al.
Pubblicazione: (2025)

Scorch: A Library for Sparse Deep Learning
di: Yan, Bobby, et al.
Pubblicazione: (2024)

PyTond: Efficient Python Data Science on the Shoulders of Databases
di: Shahrokhi, Hesam, et al.
Pubblicazione: (2024)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
di: Radtke, Pawel K., et al.
Pubblicazione: (2025)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
di: Petrič, Matic, et al.
Pubblicazione: (2026)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
di: Zenkner, Janis, et al.
Pubblicazione: (2025)

LeetDecoding: A PyTorch Library for Exponentially Decaying Causal Linear Attention with CUDA Implementations
di: Wang, Jiaping, et al.
Pubblicazione: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
di: Ugare, Shubham, et al.
Pubblicazione: (2024)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
di: Allred, Taylor, et al.
Pubblicazione: (2024)

MiniTensor: A Lightweight, High-Performance Tensor Operations Library
di: Sarkar, Soumyadip
Pubblicazione: (2026)

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

Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
di: Radtke, Pawel K., et al.
Pubblicazione: (2025)

Welding R and C++: A Tale of Two Programming Languages
di: Sepulveda, Mauricio Vargas
Pubblicazione: (2024)

Building an Accelerated OpenFOAM Proof-of-Concept Application using Modern C++
di: Malenza, Giulio, et al.
Pubblicazione: (2025)

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Introduction to Analytical Software Engineering Design Paradigm
di: Houichime, Tarik, et al.
Pubblicazione: (2025)

tn4ml: Tensor Network Training and Customization for Machine Learning
di: Puljak, Ema, et al.
Pubblicazione: (2025)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
di: Chen, Boqi, et al.
Pubblicazione: (2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

JaxDecompiler: Redefining Gradient-Informed Software Design
di: Pochelu, Pierrick
Pubblicazione: (2024)

Finding Missed Code Size Optimizations in Compilers using LLMs
di: Italiano, Davide, et al.
Pubblicazione: (2024)

Language Models for Code Completion: A Practical Evaluation
di: Izadi, Maliheh, et al.
Pubblicazione: (2024)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
di: Melcer, Daniel, et al.
Pubblicazione: (2024)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
di: Gamatié, Abdoulaye, et al.
Pubblicazione: (2024)

Grounding Data Science Code Generation with Input-Output Specifications
di: Wen, Yeming, et al.
Pubblicazione: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Detecting Buggy Contracts via Smart Testing
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

Assured Automatic Programming via Large Language Models
di: Mirchev, Martin, et al.
Pubblicazione: (2024)

SIMCOPILOT: Evaluating Large Language Models for Copilot-Style Code Generation
di: Jiang, Mingchao, et al.
Pubblicazione: (2025)

DINGO: Constrained Inference for Diffusion LLMs
di: Suresh, Tarun, et al.
Pubblicazione: (2025)

Automatically Testing Functional Properties of Code Translation Models
di: Eniser, Hasan Ferit, et al.
Pubblicazione: (2023)

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

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
di: Wei, Jiayi, et al.
Pubblicazione: (2023)

A benchmark for vericoding: formally verified program synthesis
di: Bursuc, Sergiu, et al.
Pubblicazione: (2025)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
di: Gajjar, Jugal, et al.
Pubblicazione: (2025)

Correctness-Guaranteed Code Generation via Constrained Decoding
di: Li, Lingxiao, et al.
Pubblicazione: (2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
di: Zhang, Guanqin, et al.
Pubblicazione: (2025)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
di: Vaidya, Sairam, et al.
Pubblicazione: (2025)