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

Mind the Gap: A Generalized Approach for Cross-Modal Embedding Alignment by Yadav, Arihan, McMillan, Alan

Table of Contents: “…, that efficiently bridges these gaps between various text types, such as programming code and pseudocode, or English…”
Get full text

Multipartite entanglement structures in quantum stabilizer states by Sharma, Vaibhav, Mueller, Erich J

Table of Contents: “… stabilizer states. Our algorithm graphically organizes the many-body correlations in a hierarchical structure…”
Get full text

TabulaX: Leveraging Large Language Models for Multi-Class Table Transformations by Nobari, Arash Dargahi, Rafiei, Davood

Table of Contents: “…, algorithmic, and general) and then applies tailored methods to generate human-interpretable transformation…”
Get full text

Exact Verification of First-Order Methods via Mixed-Integer Linear Programming by Ranjan, Vinit, Park, Jisun, Gualandi, Stefano, Lodi, Andrea, Stellato, Bartolomeo

Table of Contents: “… formulations of the constraints representing the algorithm iterations. To improve the scalability, we develop a…”
Get full text

Gradient-based Trajectory Optimization with Parallelized Differentiable Traffic Simulation by Son, Sanghyun, Zheng, Laura, Clipp, Brian, Greenwell, Connor, Philip, Sujin, Lin, Ming C.

Table of Contents: “… laws. We validate our simulator and algorithm on several datasets including NGSIM and Waymo Open…”
Get full text

Generalising Battery Control in Net-Zero Buildings via Personalised Federated RL by Avila, Nicolas M Cuadrado, Horváth, Samuel, Takáč, Martin

Table of Contents: “… collaborative and privacy-preserving framework. We evaluated two common RL algorithms (PPO and TRPO…”
Get full text

ICFNet: Integrated Cross-modal Fusion Network for Survival Prediction by Zhang, Binyu, Meng, Zhu, Dong, Junhao, Su, Fei, Zhao, Zhicheng

Table of Contents: “… state-of-the-art algorithms on five public TCGA datasets, including BLCA, BRCA, GBMLGG, LUAD, and UCEC…”
Get full text

Exact characterization of ε-Safe Decision Regions for exponential family distributions and Multi Cost SVM approximation by Carlevaro, Alberto, Alamo, Teodoro, Dabbene, Fabrizio, Mongelli, Maurizio

Table of Contents: “… algorithm that approximates the safe region and is also able to handle unbalanced data. The research…”
Get full text

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