English
Related papers

Related papers: Margin-calibrated Classifier Guidance for Property…

200 papers

In this work, we study a new approach to optimizing the margin distribution realized by binary classifiers. The classical approach to this problem is simply maximization of the expected margin, while more recent proposals consider…

Machine Learning · Statistics 2018-10-12 Matthew J. Holland

Preference-based reinforcement learning (PbRL) promises to learn a complex reward function with binary human preference. However, such human-in-the-loop formulation requires considerable human effort to assign preference labels to segment…

Machine Learning · Computer Science 2023-07-20 Yachen Kang , Li He , Jinxin Liu , Zifeng Zhuang , Donglin Wang

Test-time scaling (TTS) has gained widespread attention for enhancing LLM reasoning. Existing approaches such as Best-of-N and majority voting are limited as their performance depends on the quality of candidate responses, making them…

Machine Learning · Computer Science 2026-04-28 Qibin Wang , Pu Zhao , Shaohan Huang , Fangkai Yang , Lu Wang , Furu Wei , Qingwei Lin , Saravan Rajmohan , Dongmei Zhang

We propose Score-based Relaxation-guided Generation (SRG), a generative framework based on an approximate formulation of relaxation-guided stochastic differential equations (SDEs) for mixed-integer linear programming. SRG employs a…

Machine Learning · Computer Science 2026-05-13 Ruobing Wang , Xin Li , Yujie Fang , Mingzhong Wang

The analysis of software requirement specifications (SRS) using Natural Language Processing (NLP) methods has been an important study area in the software engineering field in recent years. Especially thanks to the advances brought by deep…

Software Engineering · Computer Science 2023-01-03 Savas Yildirim , Mucahit Cevik , Devang Parikh , Ayse Basar

While iterative matrix inversion methods excel in computational efficiency, memory optimization, and support for parallel and distributed computing when managing large matrices, their limitations are also evident in multiple-input…

Information Theory · Computer Science 2025-10-17 Jinfei Wang , Yi Ma , Rahim Tafazolli

The imbalanced data classification is one of the most crucial tasks facing modern data analysis. Especially when combined with other difficulty factors, such as the presence of noise, overlapping class distributions, and small disjuncts,…

Machine Learning · Computer Science 2020-04-08 Michał Koziarski , Michał Woźniak , Bartosz Krawczyk

Computer-aided synthesis planning (CASP) algorithms have demonstrated expert-level abilities in planning retrosynthetic routes to molecules of low to moderate complexity. However, current search methods assume the sufficiency of reaching…

Artificial Intelligence · Computer Science 2024-11-04 Kevin Yu , Jihye Roh , Ziang Li , Wenhao Gao , Runzhong Wang , Connor W. Coley

Autonomous flight in GPS-denied indoor spaces requires trajectories that keep visual-localization error tightly bounded across varied missions. Map-based visual localization methods such as feature matching require computationally intensive…

Robotics · Computer Science 2026-02-27 Juyeop Han , Lukas Lao Beyer , Guilherme V. Cavalheiro , Sertac Karaman

One way to solve lasso problems when the dictionary does not fit into available memory is to first screen the dictionary to remove unneeded features. Prior research has shown that sequential screening methods offer the greatest promise in…

Machine Learning · Computer Science 2016-08-29 Yun Wang , Xu Chen , Peter J. Ramadge

Early time classification algorithms aim to label a stream of features without processing the full input stream, while maintaining accuracy comparable to that achieved by applying the classifier to the entire input. In this paper, we…

Machine Learning · Computer Science 2024-02-02 Liran Ringel , Regev Cohen , Daniel Freedman , Michael Elad , Yaniv Romano

Many selection processes such as finding patients qualifying for a medical trial or retrieval pipelines in search engines consist of multiple stages, where an initial screening stage focuses the resources on shortlisting the most promising…

Machine Learning · Computer Science 2022-06-14 Lequn Wang , Thorsten Joachims , Manuel Gomez Rodriguez

End-to-end autonomous driving planners are commonly trained by imitating a single logged trajectory, yet evaluated by rule-based planning metrics that measure safety, feasibility, progress, and comfort. This creates a training--evaluation…

Robotics · Computer Science 2026-05-18 Sining Ang , Yuguang Yang , Canyu Chen , Yan Wang

With the explosive growth of data, continual learning capability is increasingly important for neural networks. Due to catastrophic forgetting, neural networks inevitably forget the knowledge of old tasks after learning new ones. In visual…

Machine Learning · Computer Science 2024-02-26 Shengyang Huang , Jianwen Mo

Template-free retrosynthesis methods treat the task as black-box sequence generation, limiting learning efficiency, while semi-template approaches rely on rigid reaction libraries that constrain generalization. We address this gap with a…

Machine Learning · Computer Science 2026-02-16 Chenguang Wang , Zihan Zhou , Lei Bai , Tianshu Yu

Retrosynthesis is essential for designing synthetic pathways for complex molecules and can be revolutionized by AI to automate and accelerate chemical synthesis planning for drug discovery and materials science. Here, we propose a…

Chemical Physics · Physics 2024-12-02 Seongeun Yun , Won Bo Lee

In most machine learning applications, classification accuracy is not the primary metric of interest. Binary classifiers which face class imbalance are often evaluated by the $F_\beta$ score, area under the precision-recall curve, Precision…

Machine Learning · Computer Science 2018-03-02 Alan Mackey , Xiyang Luo , Elad Eban

We present an attention-based Transformer model for automatic retrosynthesis route planning. Our approach starts from reactants prediction of single-step organic reactions for given products, followed by Monte Carlo tree search-based…

Quantitative Methods · Quantitative Biology 2019-06-07 Kangjie Lin , Youjun Xu , Jianfeng Pei , Luhua Lai

Recently, Supervised Contrastive Learning (SCL) has been shown to achieve excellent performance in most classification tasks. In SCL, a neural network is trained to optimize two objectives: pull an anchor and positive samples together in…

Computation and Language · Computer Science 2022-09-29 Youness Moukafih , Mounir Ghogho , Kamel Smaili

Retrosynthetic planning, which aims to find a reaction pathway to synthesize a target molecule, plays an important role in chemistry and drug discovery. This task is usually modeled as a search problem. Recently, data-driven methods have…

Artificial Intelligence · Computer Science 2022-06-24 Shufang Xie , Rui Yan , Peng Han , Yingce Xia , Lijun Wu , Chenjuan Guo , Bin Yang , Tao Qin