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

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

Table of Contents: “… in code generation with finer granularity. Additionally, we present a dynamic detection algorithm called…”
Get full text

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

Table of Contents: “…) for handling various downstream natural language processing (NLP) tasks. When applying LLMs for code generation…”
Get full text

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

Table of Contents: “… deterministic polynomial-time algorithm that produces X-codes that achieve our bound. …”
Get full text

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

Table of Contents: “…Programming often involves converting detailed and complex specifications into code, a process…”
Get full text

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

Table of Contents: “…Identifying the unknown convolutional code corresponding to the given intercepted data…”
Get full text

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

Table of Contents: “… to 39.92% when combined with jailbreak attack algorithms. Our work highlights that the code security…”
Get full text

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

Table of Contents: “…Formal verification is the next frontier for ensuring the correctness of code generated by Large…”
Get full text

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

Table of Contents: “…We present a general framework for constructing error-correcting codes using distributed graph…”
Get full text

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

Table of Contents: “… and Clever, into equivalent imperative code specifications. On complex algorithms such as Heapsort, we…”
Get full text

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

Table of Contents: “… improvements in code ability across RLVR in diverse downstream domains, including algorithmic programming, tool…”
Get full text

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

Table of Contents: “… proposed dynamic backtracking algorithm. Experimental results show that SRLCG generates code 15x longer…”
Get full text

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

Table of Contents: “…We propose a new coded blockchain scheme suitable for the Internet-of-Things (IoT) network…”
Get full text

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

Table of Contents: “… key SPH algorithms, (b) restructuring the code toward a Python package, (c) verification…”
Get full text

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

Table of Contents: “…A source code difference (diff) indicates changes made by comparing new and old source codes…”
Get full text

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

Table of Contents: “…Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming…”
Get full text

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

Table of Contents: “… requiring a deep understanding of system behavior, algorithmic tradeoffs, and careful code modifications…”
Get full text

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

Table of Contents: “…This work investigates antenna coding optimization to enhance the channel capacity of single-input…”
Get full text

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

Table of Contents: “… less human coding. However, scholars still need many human-labeled documents to train automated…”
Get full text

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

Table of Contents: “…We present an algorithm and package, Redistributor, which forces a collection of scalar samples…”
Get full text

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

Table of Contents: “… hardware realization of a DMM algorithm on a low-cost FPGA board. In this demonstration, we have…”
Get full text