Risultati della ricerca - coding ((algorithmics OR Algorithmsssics) OR (algorithm OR (algorithm OR algorithm)))

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

Sommario: “..., that efficiently bridges these gaps between various text types, such as programming code and pseudocode, or English...”
Testo

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

Sommario: “... stabilizer states. Our algorithm graphically organizes the many-body correlations in a hierarchical structure...”
Testo

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

Sommario: “..., algorithmic, and general) and then applies tailored methods to generate human-interpretable transformation...”
Testo

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

Sommario: “... formulations of the constraints representing the algorithm iterations. To improve the scalability, we develop a...”
Testo

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

Sommario: “... laws. We validate our simulator and algorithm on several datasets including NGSIM and Waymo Open...”
Testo

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

Sommario: “... collaborative and privacy-preserving framework. We evaluated two common RL algorithms (PPO and TRPO...”
Testo

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

Sommario: “... state-of-the-art algorithms on five public TCGA datasets, including BLCA, BRCA, GBMLGG, LUAD, and UCEC...”
Testo

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

Sommario: “... algorithm that approximates the safe region and is also able to handle unbalanced data. The research...”
Testo

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

Sommario: “... the capabilities of global quantum operations for algorithm implementations is highly challenging, as directly...”
Testo

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

Sommario: “... algorithm to generate a collision-free robot path that satisfies the natural language instructions. Our main...”
Testo

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

Sommario: “... algorithm. Our method enables the representation of value functions which cannot be expressed as a monotonic...”
Testo

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