Risultati della ricerca - coding (algorithm OR algorithmssic)

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

Sommario: “... string manipulation. Every program is labeled with the vulnerabilities found within the source code...”
Testo

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

Sommario: “... quantum dynamics simulation (AVQDS) algorithm for the study due to its compact circuits, which enables...”
Testo

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

Sommario: “... the shortcomings of traditional non-blind deblurring algorithms, emphasizing the advantages of employing deep...”
Testo

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

Sommario: “... to be useful in program synthesis, as well as in verification of dynamically loaded code, concurrent code...”
Testo

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

Sommario: “...Running quantum algorithms protected by quantum error correction requires a real time, classical...”
Testo

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

Sommario: “..., and designs an algorithm for clustering networking and communication based on vector routing. Communication...”
Testo

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

Sommario: “... process. Furthermore, none of the prior, fully automated algorithms have publicly available code...”
Testo

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

Sommario: “...While LLMs have shown impressive capabilities in solving math or coding problems, the ability...”
Testo

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

Sommario: “... in this area, including source code static analysis, software repository mining, and NLP-based machine learning...”
Testo

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

Sommario: “...Chemputation reframes synthesis as the programmable execution of reaction code on a universally re...”
Testo

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

Sommario: “... robust to noise. Furthermore, unlike many previous DfD algorithms with requirements on aperture code...”
Testo

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

Sommario: “... equivalent byte-level distribution. From this result, we develop a next-byte sampling algorithm...”
Testo

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

Sommario: “...Large language models (LLMs) are being used in data science code generation tasks, but they often...”
Testo

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

Sommario: “... model on LeetCode, a popular platform with algorithmic coding challenges for technical interview...”
Testo

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

Sommario: “... of applications. Among existing ANN algorithms, graph-based methods have shown superior performance in terms...”
Testo

Tulu 3: Pushing Frontiers in Open Language Model Post-Training di 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

Sommario: “..., a family of fully-open state-of-the-art post-trained models, alongside its data, code, and training...”
Testo

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

Sommario: “... of the parity-check matrix (PCM) of the channel code, sharing the variable nodes (VNs). A particularly...”
Testo

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

Sommario: “.... To alleviate these issues, this paper introduces a new framework dubbed ``coded deep learning'' (CDL), which...”
Testo

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

Sommario: “.... Starting with a modified sparse coding objective for learning representations proposed in prior work, we...”
Testo

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

Sommario: “...Many images and videos are primarily processed by computer vision algorithms, involving only...”
Testo