:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Mengdi, Cheng, Xinhao, Liu, Shengyu, Shi, Chunan, Ji, Jianan, Ao, Kit, Velliengiri, Praveen, Miao, Xupeng, Padon, Oded, Jia, Zhihao
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Programming Languages
Accesso online:	https://arxiv.org/abs/2405.05751
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Prism: Symbolic Superoptimization of Tensor Programs
di: Wu, Mengdi, et al.
Pubblicazione: (2026)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
di: Cheng, Xinhao, et al.
Pubblicazione: (2025)

Towards Efficient Generative Large Language Model Serving: A Survey from Algorithms to Systems
di: Miao, Xupeng, et al.
Pubblicazione: (2023)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

FlexLLM: Token-Level Co-Serving of LLM Inference and Finetuning with SLO Guarantees
di: Oliaro, Gabriele, et al.
Pubblicazione: (2024)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

SpecInfer: Accelerating Generative Large Language Model Serving with Tree-based Speculative Inference and Verification
di: Miao, Xupeng, et al.
Pubblicazione: (2023)

Coral: Cost-Efficient Multi-LLM Serving over Heterogeneous Cloud GPUs
di: Mei, Yixuan, et al.
Pubblicazione: (2026)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
di: Lotan, Raz, et al.
Pubblicazione: (2026)

Clover: Closed-Loop Verifiable Code Generation
di: Sun, Chuyue, et al.
Pubblicazione: (2023)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
di: Jin, Hongyi, et al.
Pubblicazione: (2026)

Superoptimal continued fractions
di: Sanderson, Slade
Pubblicazione: (2025)

Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact
di: Bocevska, Ivana, et al.
Pubblicazione: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

SuperCoder: Assembly Program Superoptimization with Large Language Models
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Numerical Superoptimization for Library Learning
di: Regehr, Jonas, et al.
Pubblicazione: (2026)

Optimizing Multi-Tier Supply Chain Ordering with LNN+XGBoost: Mitigating the Bullwhip Effect
di: Tong, Chunan
Pubblicazione: (2025)

Optimizing Multi-Tier Supply Chain Ordering with a Hybrid Liquid Neural Network and Extreme Gradient Boosting Model
di: Tong, Chunan
Pubblicazione: (2025)

AdaServe: Accelerating Multi-SLO LLM Serving with SLO-Customized Speculative Decoding
di: Li, Zikun, et al.
Pubblicazione: (2025)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version)
di: Xu, Mingkuan, et al.
Pubblicazione: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
di: Liu, Zhengyang, et al.
Pubblicazione: (2023)

Optimal Kernel Orchestration for Tensor Programs with Korch
di: Hu, Muyan, et al.
Pubblicazione: (2024)

An Efficient Intelligent Semi-Automated Warehouse Inventory Stocktaking System
di: Tong, Chunan
Pubblicazione: (2023)

Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow
di: Mei, Yixuan, et al.
Pubblicazione: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
di: Zhu, Qian, et al.
Pubblicazione: (2025)

Quantized Side Tuning: Fast and Memory-Efficient Tuning of Quantized Large Language Models
di: Zhang, Zhengxin, et al.
Pubblicazione: (2024)

CodeMirage: A Multi-Lingual Benchmark for Detecting AI-Generated and Paraphrased Source Code from Production-Level LLMs
di: Guo, Hanxi, et al.
Pubblicazione: (2025)

Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances
di: Duan, Jiangfei, et al.
Pubblicazione: (2024)

Multi-Step Reasoning in Korean and the Emergent Mirage
di: Son, Guijin, et al.
Pubblicazione: (2025)

GraphPipe: Improving Performance and Scalability of DNN Training with Graph Pipeline Parallelism
di: Jeon, Byungsoo, et al.
Pubblicazione: (2024)

Does Thinking More always Help? Mirage of Test-Time Scaling in Reasoning Models
di: Ghosal, Soumya Suvra, et al.
Pubblicazione: (2025)

When AI Levels the Playing Field: Skill Homogenization, Asset Concentration, and Two Regimes of Inequality
di: Chen, Xupeng, et al.
Pubblicazione: (2026)

Anomalous Point-Gap Interactions Unveil the Mirage Bath
di: Sun, Yue, et al.
Pubblicazione: (2025)

Moderate Deviation Principle for a Stochastic Approximation Process
di: Shi, Jianan, et al.
Pubblicazione: (2026)

Large deviation inequalities for the nonlinear unbalanced urn model
di: Shi, Jianan, et al.
Pubblicazione: (2024)

Central Limit Theorem for a Pólya-Friedman Mixed Urn Model
di: Shi, Jianan, et al.
Pubblicazione: (2026)

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions
di: Wu, Haoze, et al.
Pubblicazione: (2025)

$T^3$: Multi-level Tree-based Automatic Program Repair with Large Language Models
di: Liu, Quanming, et al.
Pubblicazione: (2025)

Mirage of Police Reform
di: Worden, Robert, et al.
Pubblicazione: (2020)