Search Results - coding (algorithm OR Algorithmsssic)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification by Tihanyi, Norbert, Bisztray, Tamas, Jain, Ridhi, Ferrag, Mohamed Amine, Cordeiro, Lucas C., Mavroeidis, Vasileios

Table of Contents: “… string manipulation. Every program is labeled with the vulnerabilities found within the source code…”
Get full text

Two-dimensional coherent spectrum of high-spin models via a quantum computing approach by Mootz, Martin, Orth, Peter P., Huang, Chuankun, Luo, Liang, Wang, Jigang, Yao, Yong-Xin

Table of Contents: “… quantum dynamics simulation (AVQDS) algorithm for the study due to its compact circuits, which enables…”
Get full text

Deep learning in motion deblurring: current status, benchmarks and future prospects by Xiang, Yawen, Zhou, Heng, Li, Chengyang, Sun, Fangwei, Li, Zhongbo, Xie, Yongqiang

Table of Contents: “… the shortcomings of traditional non-blind deblurring algorithms, emphasizing the advantages of employing deep…”
Get full text

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs by Nagy, Shaan, Kim, Jinwoo, Reps, Thomas, D'Antoni, Loris

Table of Contents: “… to be useful in program synthesis, as well as in verification of dynamically loaded code, concurrent code…”
Get full text

Spatially parallel decoding for multi-qubit lattice surgery by Lin, Sophia Fuhui, Peterson, Eric C., Sankar, Krishanu, Sivarajah, Prasahnt

Table of Contents: “…Running quantum algorithms protected by quantum error correction requires a real time, classical…”
Get full text

DHNet: A Distributed Network Architecture for Smart Home by Zhou, Chaoqi, Duan, Jingpu, Xiao, YuPeng, Li, Qing, Chen, Dingding, Zheng, Ruobin, Liu, Shaoteng

Table of Contents: “…, and designs an algorithm for clustering networking and communication based on vector routing. Communication…”
Get full text

NOISe: Nuclei-Aware Osteoclast Instance Segmentation for Mouse-to-Human Domain Transfer by Manne, Sai Kumar Reddy, Martin, Brendan, Roy, Tyler, Neilson, Ryan, Peters, Rebecca, Chillara, Meghana, Lary, Christine W., Motyl, Katherine J., Wan, Michael

Table of Contents: “… process. Furthermore, none of the prior, fully automated algorithms have publicly available code…”
Get full text

"Turing Tests" For An AI Scientist by Yin, Xiaoxin

Table of Contents: “…While LLMs have shown impressive capabilities in solving math or coding problems, the ability…”
Get full text

Explaining the Contributing Factors for Vulnerability Detection in Machine Learning by Mouine, Esma, Liu, Yan, Xiao, Lu, Kazman, Rick, Wang, Xiao

Table of Contents: “… in this area, including source code static analysis, software repository mining, and NLP-based machine learning…”
Get full text

Chemputer and Chemputation -- A Universal Chemical Compound Synthesis Machine by Cronin, Leroy, Pagel, Sebastian, Sharma, Abhishek

Table of Contents: “…Chemputation reframes synthesis as the programmable execution of reaction code on a universally re…”
Get full text

Depth from Coupled Optical Differentiation by Luo, Junjie, Liu, Yuxuan, Alexander, Emma, Guo, Qi

Table of Contents: “… robust to noise. Furthermore, unlike many previous DfD algorithms with requirements on aperture code…”
Get full text

Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles by Phan, Buu, Amos, Brandon, Gat, Itai, Havasi, Marton, Muckley, Matthew, Ullrich, Karen

Table of Contents: “… equivalent byte-level distribution. From this result, we develop a next-byte sampling algorithm…”
Get full text

An LLM Agent for Automatic Geospatial Data Analysis by Chen, Yuxing, Wang, Weijie, Lobry, Sylvain, Kurtz, Camille

Table of Contents: “…Large language models (LLMs) are being used in data science code generation tasks, but they often…”
Get full text

Evaluating ChatGPT-3.5 Efficiency in Solving Coding Problems of Different Complexity Levels: An Empirical Analysis by Li, Minda, Krishnamachari, Bhaskar

Table of Contents: “… model on LeetCode, a popular platform with algorithmic coding challenges for technical interview…”
Get full text

SymphonyQG: Towards Symphonious Integration of Quantization and Graph for Approximate Nearest Neighbor Search by Gou, Yutong, Gao, Jianyang, Xu, Yuexuan, Long, Cheng

Table of Contents: “… of applications. Among existing ANN algorithms, graph-based methods have shown superior performance in terms…”
Get full text

Tulu 3: Pushing Frontiers in Open Language Model Post-Training by Lambert, Nathan, Morrison, Jacob, Pyatkin, Valentina, Huang, Shengyi, Ivison, Hamish, Brahman, Faeze, Miranda, Lester James V., Liu, Alisa, Dziri, Nouha, Lyu, Shane, Gu, Yuling, Malik, Saumya, Graf, Victoria, Hwang, Jena D., Yang, Jiangjiang, Bras, Ronan Le, Tafjord, Oyvind, Wilhelm, Chris, Soldaini, Luca, Smith, Noah A., Wang, Yizhong, Dasigi, Pradeep, Hajishirzi, Hannaneh

Table of Contents: “…, a family of fully-open state-of-the-art post-trained models, alongside its data, code, and training…”
Get full text

Joint Detection and Decoding: A Graph Neural Network Approach by Clausius, Jannis, Rübenacke, Marvin, Tandler, Daniel, Brink, Stephan ten

Table of Contents: “… of the parity-check matrix (PCM) of the channel code, sharing the variable nodes (VNs). A particularly…”
Get full text

Coded Deep Learning: Framework and Algorithm by Yang, En-hui, Hamidi, Shayan Mohajer

Table of Contents: “…. To alleviate these issues, this paper introduces a new framework dubbed ``coded deep learning'' (CDL), which…”
Get full text

Implicit Generative Modeling by Kernel Similarity Matching by Choudhary, Shubham, Masset, Paul, Ba, Demba

Table of Contents: “…. Starting with a modified sparse coding objective for learning representations proposed in prior work, we…”
Get full text

Image Coding for Machines via Feature-Preserving Rate-Distortion Optimization by Fernández-Menduiña, Samuel, Pavez, Eduardo, Ortega, Antonio

Table of Contents: “…Many images and videos are primarily processed by computer vision algorithms, involving only…”
Get full text