AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Du, Weihua, Zhuo, Jingming, Dong, Yixin, He, Andre Wang, Sun, Weiwei, Zheng, Zeyu, Karunaratne, Manupa, Fox, Ivan, Dettmers, Tim, Chen, Tianqi, Yang, Yiming, Welleck, Sean
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computation and Language Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimizing Temperature for Language Models with Multi-Sample Inference
von: Du, Weihua, et al.
Veröffentlicht: (2025)

GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learning
von: Yang, Ningyuan, et al.
Veröffentlicht: (2026)

Agentic-R1: Distilled Dual-Strategy Reasoning
von: Du, Weihua, et al.
Veröffentlicht: (2025)

Training Proactive and Personalized LLM Agents
von: Sun, Weiwei, et al.
Veröffentlicht: (2025)

Lean-STaR: Learning to Interleave Thinking and Proving
von: Lin, Haohan, et al.
Veröffentlicht: (2024)

L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
von: Aggarwal, Pranjal, et al.
Veröffentlicht: (2025)

Programming with Pixels: Can Computer-Use Agents do Software Engineering?
von: Aggarwal, Pranjal, et al.
Veröffentlicht: (2025)

miniCodeProps: a Minimal Benchmark for Proving Code Properties
von: Lohn, Evan, et al.
Veröffentlicht: (2024)

Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models
von: Wu, Yangzhen, et al.
Veröffentlicht: (2024)

Mind the Sim2Real Gap in User Simulation for Agentic Tasks
von: Zhou, Xuhui, et al.
Veröffentlicht: (2026)

miniCTX: Neural Theorem Proving with (Long-)Contexts
von: Hu, Jiewen, et al.
Veröffentlicht: (2024)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
von: Aggarwal, Pranjal, et al.
Veröffentlicht: (2024)

Reasoning with Latent Tokens in Diffusion Language Models
von: He, Andre, et al.
Veröffentlicht: (2026)

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening
von: He, Andre, et al.
Veröffentlicht: (2025)

Gym-Anything: Turn any Software into an Agent Environment
von: Aggarwal, Pranjal, et al.
Veröffentlicht: (2026)

SERA: Soft-Verified Efficient Repository Agents
von: Shen, Ethan, et al.
Veröffentlicht: (2026)

Ada-MK: Adaptive MegaKernel Optimization via Automated DAG-based Search for LLM Inference
von: Dong, Wenxin, et al.
Veröffentlicht: (2026)

LeanArchitect: Automating Blueprint Generation for Humans and AI
von: Zhu, Thomas, et al.
Veröffentlicht: (2026)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
von: Ahuja, Riyaz, et al.
Veröffentlicht: (2026)

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
von: Rowney, Tate, et al.
Veröffentlicht: (2026)

AdaKernel: Learning Adaptive Kernel Parameters for Spatiotemporal Graph Neural Networks
von: Zhang, Zhongyue, et al.
Veröffentlicht: (2026)

Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
von: Sun, Zhiqing, et al.
Veröffentlicht: (2024)

Holistically Evaluating the Environmental Impact of Creating Language Models
von: Morrison, Jacob, et al.
Veröffentlicht: (2025)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
von: Kambhamettu, Hita, et al.
Veröffentlicht: (2026)

Cost Analysis of Public Libraries in Australia.
von: Karunaratne, N. D., et al.
Veröffentlicht: (1976)

Figure 2 from: Yen S-H, Liao S-R, Wickramasinghe M, Cheng C-T (2025) Description of a new species of Stueningeria Lehmann, 2019 (Lepidoptera, Cossoidea, Metarbelidae) from Kinmen Island of Taiwan. Biodiversity Data Journal 13: e161543. https://doi.org/10.3897/BDJ.13.e161543
von: Yen, Shen-Horn, et al.
Veröffentlicht: (2025)

AdaDim: Dimensionality Adaptation for SSL Representational Dynamics
von: Kokilepersaud, Kiran, et al.
Veröffentlicht: (2025)

TCEval: Using Thermal Comfort to Assess Cognitive and Perceptual Abilities of AI
von: Li, Jingming
Veröffentlicht: (2025)

AutoKernel: Autonomous GPU Kernel Optimization via Iterative Agent-Driven Search
von: Jaber, Jaber, et al.
Veröffentlicht: (2026)

Reinforcing Human Behavior Simulation via Verbal Feedback
von: Sun, Weiwei, et al.
Veröffentlicht: (2026)

CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
von: Sun, Weiwei, et al.
Veröffentlicht: (2025)

Soziale Arbeit in der Rehabilitation
von: Knoop, Tobias, et al.
Veröffentlicht: (2024)

Retro-li: Small-Scale Retrieval Augmented Generation Supporting Noisy Similarity Searches and Domain Shift Generalization
von: Rashiti, Gentiana, et al.
Veröffentlicht: (2024)

AdaEmbed: Semi-supervised Domain Adaptation in the Embedding Space
von: Mottaghi, Ali, et al.
Veröffentlicht: (2024)

Inducing Diversity in Differentiable Search Indexing
von: Phatak, Abhijeet, et al.
Veröffentlicht: (2025)

Premise Selection for a Lean Hammer
von: Zhu, Thomas, et al.
Veröffentlicht: (2025)

Preserving Diversity in Supervised Fine-Tuning of Large Language Models
von: Li, Ziniu, et al.
Veröffentlicht: (2024)

Algorithmic control in app‐work platforms: Exploring its curvilinear impact on work well‐being
von: Weiwei Huo, et al.
Veröffentlicht: (2025)

AdaGamma: State-Dependent Discounting for Temporal Adaptation in Reinforcement Learning
von: Wang, Yaomin, et al.
Veröffentlicht: (2026)

AdaKWS: Towards Robust Keyword Spotting with Test-Time Adaptation
von: Xiao, Yang, et al.
Veröffentlicht: (2025)