Résultats de la recherche - (endedededededededededededededeDecoding OR coding) (algorithm OR (algorithmics OR algorithmssics))

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

Table des matières: “… in code generation with finer granularity. Additionally, we present a dynamic detection algorithm called…”
Accéder au texte intégral

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

Table des matières: “…) for handling various downstream natural language processing (NLP) tasks. When applying LLMs for code generation…”
Accéder au texte intégral

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

Table des matières: “… deterministic polynomial-time algorithm that produces X-codes that achieve our bound. …”
Accéder au texte intégral

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

Table des matières: “…Programming often involves converting detailed and complex specifications into code, a process…”
Accéder au texte intégral

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

Table des matières: “…Identifying the unknown convolutional code corresponding to the given intercepted data…”
Accéder au texte intégral

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

Table des matières: “… to 39.92% when combined with jailbreak attack algorithms. Our work highlights that the code security…”
Accéder au texte intégral

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

Table des matières: “…Formal verification is the next frontier for ensuring the correctness of code generated by Large…”
Accéder au texte intégral

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

Table des matières: “…We present a general framework for constructing error-correcting codes using distributed graph…”
Accéder au texte intégral

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

Table des matières: “… and Clever, into equivalent imperative code specifications. On complex algorithms such as Heapsort, we…”
Accéder au texte intégral

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

Table des matières: “… improvements in code ability across RLVR in diverse downstream domains, including algorithmic programming, tool…”
Accéder au texte intégral

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

Table des matières: “… proposed dynamic backtracking algorithm. Experimental results show that SRLCG generates code 15x longer…”
Accéder au texte intégral

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

Table des matières: “…We propose a new coded blockchain scheme suitable for the Internet-of-Things (IoT) network…”
Accéder au texte intégral

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

Table des matières: “… key SPH algorithms, (b) restructuring the code toward a Python package, (c) verification…”
Accéder au texte intégral

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

Table des matières: “…A source code difference (diff) indicates changes made by comparing new and old source codes…”
Accéder au texte intégral

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

Table des matières: “…Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming…”
Accéder au texte intégral

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

Table des matières: “… requiring a deep understanding of system behavior, algorithmic tradeoffs, and careful code modifications…”
Accéder au texte intégral

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

Table des matières: “…This work investigates antenna coding optimization to enhance the channel capacity of single-input…”
Accéder au texte intégral

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

Table des matières: “… less human coding. However, scholars still need many human-labeled documents to train automated…”
Accéder au texte intégral

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

Table des matières: “…We present an algorithm and package, Redistributor, which forces a collection of scalar samples…”
Accéder au texte intégral

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

Table des matières: “… hardware realization of a DMM algorithm on a low-cost FPGA board. In this demonstration, we have…”
Accéder au texte intégral