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

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts di Councilman, Aaron, Fu, David Jiahao, Gupta, Aryan, Wang, Chengxiao, Grove, David, Wang, Yu-Xiong, Adve, Vikram

Sommario: “... language descriptions and generating code based on it. However, the reliability of LLM code generation...”
Testo

GraphSkill: Documentation-Guided Hierarchical Retrieval-Augmented Coding for Complex Graph Reasoning di Wang, Fali, Weng, Chenglin, Zhang, Xianren, Hong, Siyuan, Liu, Hui, Wang, Suhang

Sommario: “...The growing demand for automated graph algorithm reasoning has attracted increasing attention...”
Testo

Using Pseudocodewords to Transmit Information di Axvig, Nathan

Sommario: “... have higher spectral efficiencies than the binary linear codes from which they are derived and in some...”
Testo

A Machine Learning Based DSS in Predicting Undergraduate Freshmen Enrolment in a Philippine University di Esquivel, Joseph A., Esquivel, James A.

Sommario: “...'s characteristics. The LR Model was used as the algorithm in the development of the Decision Support System. Weka...”
Testo

On the intersection of local Arthur packets for classical groups and applications di Hazeltine, Alexander, Liu, Baiying, Lo, Chi-Heng

Sommario: “... data, based on which, we provide algorithms and Sage codes to determine whether a given representation...”
Testo

FRECKLL: Full and Reduced Exoplanet Chemical Kinetics distiLLed di Al-Refaie, Ahmed Faris, Venot, Olivia, Changeat, Quentin, Edwards, Billy

Sommario: “...We introduce a new Python 1D chemical kinetic code FRECKLL (Full and Reduced Exoplanet Chemical...”
Testo

ANFIS-based prediction of power generation for combined cycle power plant di Paparimoghadamborazjani, Maryam, Kazemi, Amin

Sommario: “... is implemented in MATLAB through a code that utilizes a hybrid algorithm that combines gradient descent...”
Testo

AutoTemplate: A Simple Recipe for Lexically Constrained Text Generation di Iso, Hayate

Sommario: “... this problem using a lexically constrained beam search algorithm or dedicated model using non-autoregressive...”
Testo

FFB: A Fair Fairness Benchmark for In-Processing Group Fairness Methods di Han, Xiaotian, Chi, Jianfeng, Chen, Yu, Wang, Qifan, Zhao, Han, Zou, Na, Hu, Xia

Sommario: “... in experimental settings, lack of accessible algorithmic implementations, and limited extensibility of current...”
Testo

SafeDreamer: Safe Reinforcement Learning with World Models di Huang, Weidong, Ji, Jiaming, Xia, Chunhe, Zhang, Borong, Yang, Yaodong

Sommario: “.... In this work, we introduce SafeDreamer, a novel algorithm incorporating Lagrangian-based methods into world...”
Testo

Robust Data Clustering with Outliers via Transformed Tensor Low-Rank Representation di Wu, Tong

Sommario: “... of the proposed algorithms. We release our code at https://github.com/twugithub/2024-AISTATS-ORTLRR. ...”
Testo

Memory augment is All You Need for image restoration di Zhang, Xiao Feng, Gu, Chao Chen, Zhu, Shan Ying

Sommario: “... transparency and internal aesthetics. Although some methods combining traditional optimization algorithms...”
Testo

High performance Boson Sampling simulation via data-flow engines di Morse, Gregory, Rybotycki, Tomasz, Kaposi, Ágoston, Kolarovszki, Zoltán, Stojčić, Uroš, Kozsik, Tamás, Mencer, Oskar, Oszmaniec, Michał, Zimborás, Zoltán, Rakyta, Péter

Sommario: “... evaluation in scenarios where such multiplicities occur. This is achieved by incorporating n-ary Gray code...”
Testo

SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks di Robey, Alexander, Wong, Eric, Hassani, Hamed, Pappas, George J.

Sommario: “..., the first algorithm designed to mitigate jailbreaking attacks. Based on our finding that adversarially...”
Testo

DPZero: Private Fine-Tuning of Language Models without Backpropagation di Zhang, Liang, Li, Bingcong, Thekumparampil, Kiran Koshy, Oh, Sewoong, He, Niao

Sommario: “..., a novel private zeroth-order algorithm with nearly dimension-independent rates. The memory...”
Testo

CROP: Conservative Reward for Model-based Offline Policy Optimization di Li, Hao, Zhou, Xiao-Hu, Li, Shu-Hai, Gui, Mei-Jiang, Xie, Xiao-Liang, Liu, Shi-Qi, Wang, Shuang-Yi, Feng, Zhen-Qiu, Hou, Zeng-Guang

Sommario: “... novel model-based offline RL algorithm named Conservative Reward for model-based Offline Policy...”
Testo

Hierarchical Ensemble-Based Feature Selection for Time Series Forecasting di Tumay, Aysin, Aydin, Mustafa E., Koc, Ali T., Kozat, Suleyman S.

Sommario: “... using a subset of features, and then the output of the model is updated using other algorithms in a...”
Testo

Exploration via linearly perturbed loss minimisation di Janz, David, Liu, Shuai, Ayoub, Alex, Szepesvári, Csaba

Sommario: “... perturbations give rise to good bandit algorithms. We propose data-dependent perturbations not present...”
Testo

Biarchetype analysis: simultaneous learning of observations and features based on extremes di Alcacer, Aleix, Epifanio, Irene, Gual-Arnau, Ximo

Sommario: “... easier to understand. We propose an algorithm to solve biarchetype analysis. Although clustering...”
Testo

A DRL solution to help reduce the cost in waiting time of securing a traffic light for cyclists di Magnana, Lucas, Rivano, Hervé, Chiabaut, Nicolas

Sommario: “... traffic light control algorithm over whole days. Results show that DRL achieves better minimization...”
Testo