Risultati della ricerca - coding (algorithm OR (algorithmics OR (algorithmicsicsics OR algorithmssssics)))

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

Sommario: “... that includes an efficient training algorithm, estimators of gradient variance, and data-driven noise schedules...”
Testo

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

Sommario: “... suffer from computational inefficiency on large datasets. We introduce RTD-Lite, a scalable algorithm...”
Testo

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

Sommario: “..., cultural, and administrative purposes. Manazel (The code and datasets are available at https://github.com...”
Testo

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

Sommario: “..., an adaptive gradient clipping algorithm that dynamically adjusts the clipping threshold based on statistical...”
Testo

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

Sommario: “... a novel inference algorithm that leverages this new feature in a simplified context inspired from...”
Testo

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

Sommario: “... seventeen common temporal reasoning tasks in natural language, focusing on their algorithmic components...”
Testo

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

Sommario: “... by SMT solvers, and for non-Pauli errors, we provide a heuristic algorithm. We formalize the proposed...”
Testo

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

Sommario: “... reasoning tasks such as coding and math, with the help of Monte Carlo Tree Search (MCTS). However, its...”
Testo

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

Sommario: “... for subsequently running a phase retrieval algorithm, as related methods do. Audio examples, source code, and a...”
Testo

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

Sommario: “...We present an efficient numerical algorithm for evolving self-gravitating systems of dark-matter...”
Testo

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

Sommario: “... remote sensing scenarios, showcasing their robust behavior for out-of-distribution data. The source code...”
Testo

WaterDrum: Watermarking for Data-centric Unlearning Metric di 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

Sommario: “... that can be used to rigorously evaluate unlearning algorithms via WaterDrum. Our code is available at https...”
Testo

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

Sommario: “... of the undelying model, limiting its broader applicability. In this work, we propose a training algorithm...”
Testo

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

Sommario: “... introduce a novel non-uniform scalar quantization algorithm, which is guaranteed to monotonically decrease...”
Testo

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

Sommario: “..., knowledge is hidden in the code, and the constraints are not self-contained nor fully declarative. We...”
Testo

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

Sommario: “... Policy Optimization (RGPO) algorithm, utilizing multimodal feedback to effectively guide policy updates...”
Testo

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

Sommario: “.../ extrapolation algorithms that impose smoothing constraints across contiguous values of the parameter. Previous...”
Testo

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

Sommario: “... offline RL algorithm that leverages shortcut models - a novel class of generative models - to scale both...”
Testo

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

Sommario: “... various inference algorithms, including Kalman filtering, particle filtering, and combinations thereof...”
Testo

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

Sommario: “... of concerns and FSM modeling to model a smart contract and generate its code. We then (i) use our algorithm...”
Testo