Suchergebnisse - coding (Algorithmssssics OR (algorithm OR (Algorithmssssics OR (algorithmicsics OR algorithm))))

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

Inhaltsangabe: “… in code generation with finer granularity. Additionally, we present a dynamic detection algorithm called …”
Volltext

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

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

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

Inhaltsangabe: “… deterministic polynomial-time algorithm that produces X-codes that achieve our bound.  …”
Volltext

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

Inhaltsangabe: “… Programming often involves converting detailed and complex specifications into code, a process …”
Volltext

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

Inhaltsangabe: “… Identifying the unknown convolutional code corresponding to the given intercepted data …”
Volltext

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

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

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

Inhaltsangabe: “… Formal verification is the next frontier for ensuring the correctness of code generated by Large …”
Volltext

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

Inhaltsangabe: “… We present a general framework for constructing error-correcting codes using distributed graph …”
Volltext

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

Inhaltsangabe: “… and Clever, into equivalent imperative code specifications. On complex algorithms such as Heapsort, we …”
Volltext

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

Inhaltsangabe: “… improvements in code ability across RLVR in diverse downstream domains, including algorithmic programming, tool …”
Volltext

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

Inhaltsangabe: “… proposed dynamic backtracking algorithm. Experimental results show that SRLCG generates code 15x longer …”
Volltext

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

Inhaltsangabe: “… We propose a new coded blockchain scheme suitable for the Internet-of-Things (IoT) network …”
Volltext

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

Inhaltsangabe: “… key SPH algorithms, (b) restructuring the code toward a Python package, (c) verification …”
Volltext

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

Inhaltsangabe: “… A source code difference (diff) indicates changes made by comparing new and old source codes …”
Volltext

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

Inhaltsangabe: “… Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming …”
Volltext

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

Inhaltsangabe: “… requiring a deep understanding of system behavior, algorithmic tradeoffs, and careful code modifications …”
Volltext

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

Inhaltsangabe: “… This work investigates antenna coding optimization to enhance the channel capacity of single-input …”
Volltext

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

Inhaltsangabe: “… less human coding. However, scholars still need many human-labeled documents to train automated …”
Volltext

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

Inhaltsangabe: “… We present an algorithm and package, Redistributor, which forces a collection of scalar samples …”
Volltext

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

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