Search Results - coding (algorithmics OR (algorithmics OR (algorithm OR (algorithmics OR algorithmics))))

Unlocking the power of global quantum gates with machine learning by Singh, Vinit, Yan, Bin

Table of Contents: “… the capabilities of global quantum operations for algorithm implementations is highly challenging, as directly…”
Get full text

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning by Rabiei, Behrad, R., Mahesh Kumar A., Dai, Zhirui, Pilla, Surya L. S. R., Dong, Qiyue, Atanasov, Nikolay

Table of Contents: “… algorithm to generate a collision-free robot path that satisfies the natural language instructions. Our main…”
Get full text

PairVDN - Pair-wise Decomposed Value Functions by Buzzard, Zak

Table of Contents: “… algorithm. Our method enables the representation of value functions which cannot be expressed as a monotonic…”
Get full text

Block Diffusion: Interpolating Between Autoregressive and Diffusion Language Models by Arriola, Marianne, Gokaslan, Aaron, Chiu, Justin T., Yang, Zhihan, Qi, Zhixuan, Han, Jiaqi, Sahoo, Subham Sekhar, Kuleshov, Volodymyr

Table of Contents: “… that includes an efficient training algorithm, estimators of gradient variance, and data-driven noise schedules…”
Get full text

RTD-Lite: Scalable Topological Analysis for Comparing Weighted Graphs in Learning Tasks by Tulchinskii, Eduard, Voronkova, Daria, Trofimov, Ilya, Burnaev, Evgeny, Barannikov, Serguei

Table of Contents: “… suffer from computational inefficiency on large datasets. We introduce RTD-Lite, a scalable algorithm…”
Get full text

When Astronomy Meets AI: Manazel For Crescent Visibility Prediction in Morocco by Lairgi, Yassir

Table of Contents: “…, cultural, and administrative purposes. Manazel (The code and datasets are available at https://github.com…”
Get full text

ZClip: Adaptive Spike Mitigation for LLM Pre-Training by Kumar, Abhay, Owen, Louis, Chowdhury, Nilabhra Roy, Güra, Fabian

Table of Contents: “…, an adaptive gradient clipping algorithm that dynamically adjusts the clipping threshold based on statistical…”
Get full text

Unifying Autoregressive and Diffusion-Based Sequence Generation by Fathi, Nima, Scholak, Torsten, Noël, Pierre-André

Table of Contents: “… a novel inference algorithm that leverages this new feature in a simplified context inspired from…”
Get full text

On the Temporal Question-Answering Capabilities of Large Language Models Over Anonymized Data by Ruiz, Alfredo Garrachón, de la Rosa, Tomás, Borrajo, Daniel

Table of Contents: “… seventeen common temporal reasoning tasks in natural language, focusing on their algorithmic components…”
Get full text

Efficient Formal Verification of Quantum Error Correcting Programs by Huang, Qifan, Zhou, Li, Fang, Wang, Zhao, Mengyu, Ying, Mingsheng

Table of Contents: “… by SMT solvers, and for non-Pauli errors, we provide a heuristic algorithm. We formalize the proposed…”
Get full text

Towards Stepwise Domain Knowledge-Driven Reasoning Optimization and Reflection Improvement by Liu, Chengyuan, Wang, Shihang, Qing, Lizhi, Song, Kaisong, Cao, Junjie, Lin, Jun, Zhang, Ji, Li, Ang, Kuang, Kun, Wu, Fei

Table of Contents: “… reasoning tasks such as coding and math, with the help of Monte Carlo Tree Search (MCTS). However, its…”
Get full text

Generation of Musical Timbres using a Text-Guided Diffusion Model by Yuan, Weixuan, Khan, Qadeer, Golkov, Vladimir

Table of Contents: “… for subsequently running a phase retrieval algorithm, as related methods do. Audio examples, source code, and a…”
Get full text

Evolution of self-gravitating spherical dark-matter halos with and without new physics by Kamionkowski, Marc, Sigurdson, Kris R.

Table of Contents: “…We present an efficient numerical algorithm for evolving self-gravitating systems of dark-matter…”
Get full text

Fine-Tuning Adversarially-Robust Transformers for Single-Image Dehazing by Vasilescu, Vlad, Neacsu, Ana, Faur, Daniela

Table of Contents: “… remote sensing scenarios, showcasing their robust behavior for out-of-distribution data. The source code…”
Get full text

WaterDrum: Watermarking for Data-centric Unlearning Metric by Lu, Xinyang, Niu, Xinyuan, Lau, Gregory Kang Ruey, Nhung, Bui Thi Cam, Sim, Rachael Hwee Ling, Himawan, John Russell, Wen, Fanyu, Foo, Chuan-Sheng, Ng, See-Kiong, Low, Bryan Kian Hsiang

Table of Contents: “… that can be used to rigorously evaluate unlearning algorithms via WaterDrum. Our code is available at https…”
Get full text

How to Train Your Metamorphic Deep Neural Network by Sommariva, Thomas, Calderara, Simone, Porrello, Angelo

Table of Contents: “… of the undelying model, limiting its broader applicability. In this work, we propose a training algorithm…”
Get full text

GuidedQuant: Large Language Model Quantization via Exploiting End Loss Guidance by Kim, Jinuk, Halabi, Marwa El, Park, Wonpyo, Schaefer, Clemens JS, Lee, Deokjae, Park, Yeonhong, Lee, Jae W., Song, Hyun Oh

Table of Contents: “… introduce a novel non-uniform scalar quantization algorithm, which is guaranteed to monotonically decrease…”
Get full text

From RDF Graph Validation to RDF Dataset Validation with SHACL-DS by Dao, Davan Chiem, Debruyne, Christophe

Table of Contents: “…, knowledge is hidden in the code, and the constraints are not self-contained nor fully declarative. We…”
Get full text

MindOmni: Unleashing Reasoning Generation in Vision Language Models with RGPO by Xiao, Yicheng, Song, Lin, Chen, Yukang, Luo, Yingmin, Chen, Yuxin, Gan, Yukang, Huang, Wei, Li, Xiu, Qi, Xiaojuan, Shan, Ying

Table of Contents: “… Policy Optimization (RGPO) algorithm, utilizing multimodal feedback to effectively guide policy updates…”
Get full text

Variably Scaled Kernels for the regularized solution of the parametric Fourier imaging problem by Volpara, Anna, Lupoli, Alessandro, Perracchione, Emma

Table of Contents: “…/ extrapolation algorithms that impose smoothing constraints across contiguous values of the parameter. Previous…”
Get full text