Risultati della ricerca - coding (algorithmsssics OR (algorithm OR (algorithmsssics OR (algorithmicsics OR algorithm))))

CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification di Tian, Yuchen, Yan, Weixiang, Yang, Qian, Zhao, Xuandong, Chen, Qian, Wang, Wen, Luo, Ziyang, Ma, Lei, Song, Dawn

Sommario: “... in code generation with finer granularity. Additionally, we present a dynamic detection algorithm called...”
Testo

UniCoder: Scaling Code Large Language Model via Universal Code di Sun, Tao, Chai, Linzheng, Yang, Jian, Yin, Yuwei, Guo, Hongcheng, Liu, Jiaheng, Wang, Bing, Yang, Liqun, Li, Zhoujun

Sommario: “...) for handling various downstream natural language processing (NLP) tasks. When applying LLMs for code generation...”
Testo

On the Maximum Number of Codewords of X-Codes of Constant Weight Three di Tsunoda, Yu, Fujiwara, Yuichiro

Sommario: “... deterministic polynomial-time algorithm that produces X-codes that achieve our bound. ...”
Testo

MMCode: Benchmarking Multimodal Large Language Models for Code Generation with Visually Rich Programming Problems di Li, Kaixin, Tian, Yuchen, Hu, Qisheng, Luo, Ziyang, Huang, Zhiyong, Ma, Jing

Sommario: “...Programming often involves converting detailed and complex specifications into code, a process...”
Testo

Detecting Convolutional Codes: A Markovian Approach with LRT and DNN di Pandey, Harshvardhan, Khanna, Pragya, Yardi, Arti

Sommario: “...Identifying the unknown convolutional code corresponding to the given intercepted data...”
Testo

LLMs Caught in the Crossfire: Malware Requests and Jailbreak Challenges di Li, Haoyang, Gao, Huan, Zhao, Zhiyuan, Lin, Zhiyu, Gao, Junyu, Li, Xuelong

Sommario: “... to 39.92% when combined with jailbreak attack algorithms. Our work highlights that the code security...”
Testo

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code di Zeng, Lingfei, Che, Fengdi, Huang, Xuhan, Ye, Fei, Xu, Xu, Yuan, Binhang, Fu, Jie

Sommario: “...Formal verification is the next frontier for ensuring the correctness of code generated by Large...”
Testo

Constructing Low-Redundancy Codes via Distributed Graph Coloring di Li, Yuting, Gabrys, Ryan, Farnoud, Farzad

Sommario: “...We present a general framework for constructing error-correcting codes using distributed graph...”
Testo

WybeCoder: Verified Imperative Code Generation di Gloeckle, Fabian, Baksys, Mantas, Feher, Darius, Zheng, Kunhao, Hayat, Amaury, Holden, Sean B., Synnaeve, Gabriel, O'Hearn, Peter

Sommario: “... and Clever, into equivalent imperative code specifications. On complex algorithms such as Heapsort, we...”
Testo

Combinatorial Synthesis: Scaling Code RLVR via Atomic Decomposition and Recombination di Zheng, Jiasheng, Cao, Boxi, Yu, Boxi, Zhang, Yuzhong, Cao, Jialun, Lu, Yaojie, Lin, Hongyu, Han, Xianpei, Sun, Le

Sommario: “... improvements in code ability across RLVR in diverse downstream domains, including algorithmic programming, tool...”
Testo

SRLCG: Self-Rectified Large-Scale Code Generation with Multidimensional Chain-of-Thought and Dynamic Backtracking di Ma, Hongru, Liang, Yanjie, Si, Jiasheng, Zhang, Weiyu, Guan, Hongjiao, Zheng, Chaoqun, Xu, Bing, Lu, Wenpeng

Sommario: “... proposed dynamic backtracking algorithm. Experimental results show that SRLCG generates code 15x longer...”
Testo

A High-throughput and Secure Coded Blockchain for IoT di Taherpour, Amirhossein, Wang, Xiaodong

Sommario: “...We propose a new coded blockchain scheme suitable for the Internet-of-Things (IoT) network...”
Testo

JAX-SPH: A Differentiable Smoothed Particle Hydrodynamics Framework di Toshev, Artur P., Ramachandran, Harish, Erbesdobler, Jonas A., Galletti, Gianluca, Brandstetter, Johannes, Adams, Nikolaus A.

Sommario: “... key SPH algorithms, (b) restructuring the code toward a Python package, (c) verification...”
Testo

Toward Interactive Optimization of Source Code Differences: An Empirical Study of Its Performance di Yagi, Tsukasa, Hayashi, Shinpei

Sommario: “...A source code difference (diff) indicates changes made by comparing new and old source codes...”
Testo

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates di Xiao, Yuan-An, Wang, Weixuan, Liu, Dong, Zhou, Junwei, Cheng, Shengyu, Xiong, Yingfei

Sommario: “...Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming...”
Testo

How Do Agents Perform Code Optimization? An Empirical Study di Peng, Huiyun, Zhong, Antonio, Méndez, Ricardo Andrés Calvo, Kalu, Kelechi G., Davis, James C.

Sommario: “... requiring a deep understanding of system behavior, algorithmic tradeoffs, and careful code modifications...”
Testo

Optimizing Antenna Coding for Pixel Antenna Empowered SISO-OFDM Systems di Qiao, Tianrui, Shen, Shanpu, Chen, Yijun, Murch, Ross

Sommario: “...This work investigates antenna coding optimization to enhance the channel capacity of single-input...”
Testo

Improving Probabilistic Models in Text Classification via Active Learning di Bosley, Mitchell, Kuzushima, Saki, Enamorado, Ted, Shiraito, Yuki

Sommario: “... less human coding. However, scholars still need many human-labeled documents to train automated...”
Testo

Redistributor: Transforming Empirical Data Distributions di Harar, Pavol, Elbrächter, Dennis, Dörfler, Monika, Johnson, Kory D.

Sommario: “...We present an algorithm and package, Redistributor, which forces a collection of scalar samples...”
Testo

Hardware implementation of digital memcomputing on small-size FPGAs di Nguyen, Dyk Chung, Zhang, Yuan-Hang, Di Ventra, Massimiliano, Pershin, Yuriy V.

Sommario: “... hardware realization of a DMM algorithm on a low-cost FPGA board. In this demonstration, we have...”
Testo