中文
相关论文

相关论文: STRIDE: Simple Type Recognition In Decompiled Exec…

200 篇论文

In applying deep learning for malware classification, it is crucial to account for the prevalence of malware evolution, which can cause trained classifiers to fail on drifted malware. Existing solutions to address concept drift use active…

密码学与安全 · 计算机科学 2024-12-23 Adrian Shuai Li , Arun Iyengar , Ashish Kundu , Elisa Bertino

Training advanced machine learning models demands massive datasets, resulting in prohibitive computational costs. To address this challenge, data pruning techniques identify and remove redundant training samples while preserving model…

Identifying from observation data the governing differential equations of a physical dynamics is a key challenge in machine learning. Although approaches based on SINDy have shown great promise in this area, they still fail to address a…

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper…

形式语言与自动机理论 · 计算机科学 2017-05-25 Mikaël Mayer , Jad Hamza , Viktor Kuncak

This paper tackles the challenging problem of automating code updates to fix deprecated API usages of open source libraries by analyzing their release notes. Our system employs a three-tier architecture: first, a web crawler service…

计算与语言 · 计算机科学 2022-12-27 Petr Babkin , Nacho Navarro , Salwa Alamir , Sameena Shah

Learned Sparse IR models, such as SPLADE, offer an excellent efficiency-effectiveness tradeoff. However, they rely on the underlying backbone vocabulary, which might hinder performance (polysemicity and synonymy) and pose a challenge for…

信息检索 · 计算机科学 2026-04-24 Yuxuan Zong , Mathias Vast , Basile Van Cooten , Laure Soulier , Benjamin Piwowarski

Traits allow decomposing programs into smaller parts and mixins are a form of composition that resemble multiple inheritance. Unfortunately, in the presence of traits, programming languages like Scala give up on subtyping relation between…

编程语言 · 计算机科学 2014-07-16 Asankhaya Sharma

We focus on prediction problems with structured outputs that are subject to output validity constraints, e.g. pseudocode-to-code translation where the code must compile. While labeled input-output pairs are expensive to obtain, "unlabeled"…

机器学习 · 计算机科学 2023-10-26 Sang Michael Xie , Tengyu Ma , Percy Liang

We address the problem of robot guided assembly tasks, by using a learning-based approach to identify contact model parameters for known and novel parts. First, a Variational Autoencoder (VAE) is used to extract geometric features of…

机器人学 · 计算机科学 2024-12-12 Constantin Schempp , Christian Friedrich

Refactoring is an important activity that is frequently performed in software development, and among them, Extract Method is known to be one of the most frequently performed refactorings. The existing techniques for recommending Extract…

软件工程 · 计算机科学 2021-08-31 Jinto Yamanaka , Yasuhiro Hayase , Toshiyuki Amagasa

Machine learning and especially deep learning has had an increasing impact on molecule and materials design. In particular, given the growing access to an abundance of high-quality small molecule data for generative modeling for drug…

化学物理 · 物理学 2023-11-14 Shehtab Zaman , Denis Akhiyarov , Mauricio Araya-Polo , Kenneth Chiu

Recent advances in Reinforcement Learning (RL) have underscored its potential for incentivizing reasoning capabilities of Large Language Models (LLMs). However, existing step-level efforts suffer from costly annotations that limit domain…

机器学习 · 计算机科学 2026-05-20 Junjie Zhang , Guozheng Ma , Shunyu Liu , Zetian Hu , Yongcheng Jing , Ting-En Lin , Yongbin Li , Dacheng Tao

We propose a novel one-step transformer-based person search framework, PSTR, that jointly performs person detection and re-identification (re-id) in a single architecture. PSTR comprises a person search-specialized (PSS) module that…

计算机视觉与模式识别 · 计算机科学 2022-04-08 Jiale Cao , Yanwei Pang , Rao Muhammad Anwer , Hisham Cholakkal , Jin Xie , Mubarak Shah , Fahad Shahbaz Khan

This paper describes a generalization of previous methods for constructing tree-structured belief network with hidden variables. The major new feature of the described method is the ability to produce a tree decomposition even when there…

人工智能 · 计算机科学 2013-04-05 L. Liu , Y. Ma , D. Wilkins , Z. Bian , X. Ying

As the size and source of network traffic increase, so does the challenge of monitoring and analysing network traffic. Therefore, sampling algorithms are often used to alleviate these scalability issues. However, the use of high entropy…

密码学与安全 · 计算机科学 2019-05-29 Fran Casino , Kim-Kwang Raymond Choo , Constantinos Patsakis

Gradual typing has gained popularity as a design choice for integrating static and dynamic typing within a single language. Several practical languages have adopted gradual typing to offer programmers the flexibility to annotate their…

编程语言 · 计算机科学 2026-03-09 Senxi Li , Feng Dai , Tetsuro Yamazaki , Shigeru Chiba

Many machine learning libraries require that string features be converted to a numerical representation for the models to work as intended. Categorical string features can represent a wide variety of data (e.g., zip codes, names, marital…

机器学习 · 计算机科学 2021-11-05 John W. van Lith , Joaquin Vanschoren

Transformer-based pretrained language models (LMs) are ubiquitous across natural language understanding, but cannot be applied to long sequences such as stories, scientific articles and long documents, due to their quadratic complexity.…

计算与语言 · 计算机科学 2022-12-29 Maor Ivgi , Uri Shaham , Jonathan Berant

While vision models are highly capable, their internal mechanisms remain poorly understood -- a challenge which sparse autoencoders (SAEs) have helped address in language, but which remains underexplored in vision. We address this gap by…

计算机视觉与模式识别 · 计算机科学 2025-04-14 Sonia Joseph , Praneet Suresh , Ethan Goldfarb , Lorenz Hufe , Yossi Gandelsman , Robert Graham , Danilo Bzdok , Wojciech Samek , Blake Aaron Richards

Learned sparse models such as SPLADE have successfully shown how to incorporate the benefits of state-of-the-art neural information retrieval models into the classical inverted index data structure. Despite their improvements in…

信息检索 · 计算机科学 2024-04-23 Carlos Lassance , Hervé Dejean , Stéphane Clinchant , Nicola Tonellotto