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

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

Scaling Offline RL via Efficient and Expressive Shortcut Models by Espinosa-Dice, Nicolas, Zhang, Yiyi, Chen, Yiding, Guo, Bradley, Oertell, Owen, Swamy, Gokul, Brantley, Kiante, Sun, Wen

Table of Contents: “… offline RL algorithm that leverages shortcut models - a novel class of generative models - to scale both…”
Get full text

State Space Model Programming in Turing.jl by Hargreaves, Tim, Li, Qing, Knipp, Charles, Wantiez, Frederic, Godsill, Simon J., Ge, Hong

Table of Contents: “… various inference algorithms, including Kalman filtering, particle filtering, and combinations thereof…”
Get full text

FSM Modeling For Off-Blockchain Computation by Liu, Christian Gang

Table of Contents: “… of concerns and FSM modeling to model a smart contract and generate its code. We then (i) use our algorithm…”
Get full text