Copertina

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brilliantov, Kirill, Bamas, Etienne, Abbé, Emmanuel
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Mathematical Software Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Adaptation of XAI to Auto-tuning for Numerical Libraries
di: Aoki, Shota, et al.
Pubblicazione: (2024)

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

Implementation of tangent linear and adjoint models for neural networks based on a compiler library tool
di: Xiao, Sa, et al.
Pubblicazione: (2026)

KHRONOS: a Kernel-Based Neural Architecture for Rapid, Resource-Efficient Scientific Computation
di: Batley, Reza T., et al.
Pubblicazione: (2025)

Int2Int: a framework for mathematics with transformers
di: Charton, François
Pubblicazione: (2025)

A Lie Group Approach to Riemannian Batch Normalization
di: Chen, Ziheng, et al.
Pubblicazione: (2024)

cuRegOT: A GPU-Accelerated Solver for Entropic-Regularized Optimal Transport
di: Qiu, Yixuan
Pubblicazione: (2026)

Virtual Parameter Sharpening: Dynamic Low-Rank Perturbations for Inference-Time Reasoning Enhancement
di: Kublashvili, Saba
Pubblicazione: (2025)

TopoX: A Suite of Python Packages for Machine Learning on Topological Domains
di: Hajij, Mustafa, et al.
Pubblicazione: (2024)

Is Value Functions Estimation with Classification Plug-and-play for Offline Reinforcement Learning?
di: Tarasov, Denis, et al.
Pubblicazione: (2024)

The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
di: Beit-Halachmi, Itay, et al.
Pubblicazione: (2024)

On Stochastic Rounding with Few Random Bits
di: Fitzgibbon, Andrew, et al.
Pubblicazione: (2025)

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

UGrid: An Efficient-And-Rigorous Neural Multigrid Solver for Linear PDEs
di: Han, Xi, et al.
Pubblicazione: (2024)

Learning optimal objective values for MILP
di: Scavuzzo, Lara, et al.
Pubblicazione: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
di: Dai, Steve, et al.
Pubblicazione: (2025)

An Open-Source Framework for Efficient Numerically-Tailored Computations
di: Ledoux, Louis, et al.
Pubblicazione: (2024)

Automating the Enterprise with Foundation Models
di: Wornow, Michael, et al.
Pubblicazione: (2024)

auto-fpt: Automating Free Probability Theory Calculations for Machine Learning Theory
di: Subramonian, Arjun, et al.
Pubblicazione: (2025)

Automated Tensor-Relational Decomposition for Large-Scale Sparse Tensor Computation
di: Tang, Yuxin, et al.
Pubblicazione: (2026)

Cross-Architecture Model Diffing with Crosscoders: Unsupervised Discovery of Differences Between LLMs
di: Jiralerspong, Thomas, et al.
Pubblicazione: (2026)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
di: Yang, Zhenning, et al.
Pubblicazione: (2025)

Monitizer: Automating Design and Evaluation of Neural Network Monitors
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

On the Impact of Code Comments for Automated Bug-Fixing: An Empirical Study
di: Vitale, Antonio, et al.
Pubblicazione: (2026)

Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs
di: Patel, Harsh, et al.
Pubblicazione: (2024)

FuzzTheREST: An Intelligent Automated Black-box RESTful API Fuzzer
di: Dias, Tiago, et al.
Pubblicazione: (2024)

Dimensionality reduction for homological stability and global structure preservation
di: Kolpakov, Alexander, et al.
Pubblicazione: (2025)

R-LAM: Reproducibility-Constrained Large Action Models for Scientific Workflow Automation
di: Sureshkumar, Suriya
Pubblicazione: (2026)

PostTrainBench: Can LLM Agents Automate LLM Post-Training?
di: Rank, Ben, et al.
Pubblicazione: (2026)

AIPC: Agent-Based Automation for AI Model Deployment with Qualcomm AI Runtime
di: Su, Jianhao, et al.
Pubblicazione: (2026)

CONSTRUCTA: Automating Commercial Construction Schedules in Fabrication Facilities with Large Language Models
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

Goldilocks RL: Tuning Task Difficulty to Escape Sparse Rewards for Reasoning
di: Mahrooghi, Ilia, et al.
Pubblicazione: (2026)

BitsAI-Fix: LLM-Driven Approach for Automated Lint Error Resolution in Practice
di: Li, Yuanpeng, et al.
Pubblicazione: (2025)

Assessing Large Language Models for Automated Feedback Generation in Learning Programming Problem Solving
di: Silva, Priscylla, et al.
Pubblicazione: (2025)

Automated Machine Learning: A Case Study on Non-Intrusive Appliance Load Monitoring
di: Moin, Armin, et al.
Pubblicazione: (2022)

Gödel Test: Can Large Language Models Solve Easy Conjectures?
di: Feldman, Moran, et al.
Pubblicazione: (2025)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
di: Xie, Zichen, et al.
Pubblicazione: (2026)

Retrieval-Augmented Instruction Tuning for Automated Process Engineering Calculations : A Tool-Chaining Problem-Solving Framework with Attributable Reflection
di: Sakhinana, Sagar Srinivas, et al.
Pubblicazione: (2024)

DrugPlayGround: Benchmarking Large Language Models and Embeddings for Drug Discovery
di: Liu, Tianyu, et al.
Pubblicazione: (2026)

Mellum: Production-Grade in-IDE Contextual Code Completion with Multi-File Project Understanding
di: Pavlichenko, Nikita, et al.
Pubblicazione: (2025)