English
Related papers

Related papers: SynKB: Semantic Search for Synthetic Procedures

200 papers

In this paper, we present a novel approach to knowledge extraction and retrieval using Natural Language Processing (NLP) techniques for material science. Our goal is to automatically mine structured knowledge from millions of research…

Computation and Language · Computer Science 2023-02-14 Xianjun Yang , Stephen Wilson , Linda Petzold

This paper presents a new technique for automatically synthesizing SQL queries from natural language. Our technique is fully automated, works for any database without requiring additional customization, and does not require users to know…

Databases · Computer Science 2017-02-07 Navid Yaghmazadeh , Yuepeng Wang , Isil Dillig , Thomas Dillig

The task of searching through patent documents is crucial for chemical patent recommendation and retrieval. This can be enhanced by creating a patent knowledge base (ChemPatKB) to aid in prior art searches and to provide a platform for…

Information Retrieval · Computer Science 2024-07-24 Aishwarya Jadhav , Ritam Dutt

The development of synthesis procedures remains a fundamental challenge in materials discovery, with procedural knowledge scattered across decades of scientific literature in unstructured formats that are challenging for systematic…

We present SynRXN, a unified benchmarking framework and open-data resource for computer-aided synthesis planning (CASP). SynRXN decomposes end-to-end synthesis planning into five task families, covering reaction rebalancing, atom-to-atom…

Machine Learning · Computer Science 2026-04-21 Tieu-Long Phan , Nhu-Ngoc Nguyen Song , Peter F. Stadler

We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…

Programming Languages · Computer Science 2021-10-12 Osbert Bastani , Xin Zhang , Armando Solar-Lezama

Document databases are increasingly popular in various applications, but their queries are challenging to write due to the flexible and complex data model underlying document databases. This paper presents a synthesis technique that aims to…

Databases · Computer Science 2024-12-10 Qikang Liu , Yang He , Yanwen Cai , Byeongguk Kwak , Yuepeng Wang

The advancement of machine learning and the availability of large-scale reaction datasets have accelerated the development of data-driven models for computer-aided synthesis planning (CASP) in the past decade. Here, we detail the newest…

Procedural knowledge describes how to accomplish tasks and mitigate problems. Such knowledge is commonly held by domain experts, e.g. operators in manufacturing who adjust parameters to achieve quality targets. To the best of our knowledge,…

Artificial Intelligence · Computer Science 2023-08-17 Richard Nordsieck , André Schweizer , Michael Heider , Jörg Hähner

We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on…

The field of natural language processing (NLP) has witnessed a transformative shift with the emergence of large language models (LLMs), revolutionizing various language tasks and applications, and the integration of LLM into specialized…

Chemical Physics · Physics 2024-06-17 Chonghuan Zhang , Qianghua Lin , Biwei Zhu , Haopeng Yang , Xiao Lian , Hao Deng , Jiajun Zheng , Kuangbiao Liao

In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write complex programs, particularly SQL queries. One way of helping…

Programming Languages · Computer Science 2024-02-02 Ricardo Brancas , Miguel Terra-Neves , Miguel Ventura , Vasco Manquinho , Ruben Martins

Retrosynthesis analysis is pivotal yet challenging in drug discovery and organic chemistry. Despite the proliferation of computational tools over the past decade, AI-based systems often fall short in generalizing across diverse reaction…

Machine Learning · Computer Science 2024-08-21 Yifei Yang , Runhan Shi , Zuchao Li , Shu Jiang , Bao-Liang Lu , Yang Yang , Hai Zhao

Computer-aided synthesis planning (CASP) has long been envisioned as a complementary tool for synthetic chemists. However, existing frameworks often lack mechanisms to allow interaction with human experts, limiting their ability to…

Artificial Intelligence · Computer Science 2025-12-19 Nguyen Xuan-Vu , Daniel Armstrong , Milena Wehrbach , Andres M Bran , Zlatko Jončev , Philippe Schwaller

Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures would facilitate deeper scientific understanding of…

Computation and Language · Computer Science 2019-07-16 Sheshera Mysore , Zach Jensen , Edward Kim , Kevin Huang , Haw-Shiuan Chang , Emma Strubell , Jeffrey Flanigan , Andrew McCallum , Elsa Olivetti

Modern computer-assisted synthesis planning (CASP) systems show promises at generating chemically valid reaction steps but struggle to incorporate strategic considerations such as convergent assembly, protecting group minimization, and…

Artificial Intelligence · Computer Science 2025-12-02 Daniel Armstrong , Zlatko Jončev , Andres M Bran , Philippe Schwaller

Generative artificial intelligence has revolutionized the exploration of chemical space, yet a critical bottleneck remains that a substantial fraction of generated molecules is synthetically inaccessible. Current solutions, such as post-hoc…

Artificial Intelligence · Computer Science 2025-12-24 Junren Li , Luhua Lai

Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synthesis is still too slow for realtime interaction and more…

Machine Learning · Computer Science 2020-02-10 Kairo Morton , William Hallahan , Elven Shum , Ruzica Piskac , Mark Santolucito

Many programs that interact with a database need to undergo schema refactoring several times during their life cycle. Since this process typically requires making significant changes to the program's implementation, schema refactoring is…

Programming Languages · Computer Science 2019-04-12 Yuepeng Wang , James Dong , Rushi Shah , Isil Dillig

Computational synthesis planning approaches have achieved recent success in organic chemistry, where tabulated synthesis procedures are readily available for supervised learning. The syntheses of inorganic materials, however, exist…

Computation and Language · Computer Science 2017-11-29 Sheshera Mysore , Edward Kim , Emma Strubell , Ao Liu , Haw-Shiuan Chang , Srikrishna Kompella , Kevin Huang , Andrew McCallum , Elsa Olivetti
‹ Prev 1 2 3 10 Next ›