English
Related papers

Related papers: MetaChem: An Algebraic Framework for Artificial Ch…

200 papers

Despite the long history of electrochemistry, there is a lack of quantitative algorithms that rigorously correlate experiment with theory. Electrochemical modeling has had advanced across empirical, analytical, numerical, and data-driven…

Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the study of numerous applications, including transportation…

Logic in Computer Science · Computer Science 2022-03-11 Abolfazl Lavaei , Sadegh Soudjani , Alessandro Abate , Majid Zamani

Editing particle-system visual effects (VFX) is vital for digital storytelling, but achieving controllable, art-directable results remains challenging due to their multi-dimensional nature. Given a large collection of parameters, users must…

Human-Computer Interaction · Computer Science 2026-05-12 Kyzyl Monteiro , Evan Atherton , George Fitzmaurice , Qian Zhou

Graphs, such as social networks, word co-occurrence networks, and communication networks, occur naturally in various real-world applications. Analyzing them yields insight into the structure of society, language, and different patterns of…

Social and Information Networks · Computer Science 2019-08-22 Palash Goyal , Emilio Ferrara

Developing robust representations of chemical structures that enable models to learn topological inductive biases is challenging. In this manuscript, we present a representation of atomistic systems. We begin by proving that our…

Machine Learning · Computer Science 2024-09-27 Rahul Khorana , Marcus Noack , Jin Qian

Chemical reactivity models are developed to predict chemical reaction outcomes in the form of classification (success/failure) or regression (product yield) tasks. The vast majority of the reported models are trained solely on chemical…

Machine Learning · Computer Science 2024-01-31 Aline Hartgers , Ramil Nugmanov , Kostiantyn Chernichenko , Joerg Kurt Wegner

Chemical reaction networks describe interactions between biochemical species. Once an underlying reaction network is given for a biochemical system, the system dynamics can be modelled with various mathematical frameworks such as continuous…

Probability · Mathematics 2023-06-22 German Enciso , Radek Erban , Jinsu Kim

We conjecture that the relative unpopularity of logical frameworks among practitioners is partly due to their complex meta-languages, which often demand both programming skills and theoretical knowledge of the meta-language in question for…

Logic in Computer Science · Computer Science 2021-06-29 Bruno Cuconato , Jefferson de Barros Santos , Edward Hermann Haeusler

Accurate structural analysis is essential to gain physical knowledge and understanding of atomic-scale processes in materials from atomistic simulations. However, traditional analysis methods often reach their limits when applied to…

DynamicGEM is an open-source Python library for learning node representations of dynamic graphs. It consists of state-of-the-art algorithms for defining embeddings of nodes whose connections evolve over time. The library also contains the…

Machine Learning · Computer Science 2018-11-28 Palash Goyal , Sujit Rokka Chhetri , Ninareh Mehrabi , Emilio Ferrara , Arquimedes Canedo

Traditional treatments of formal logic provide: 1. A syntax for formulas. 2. An inference relation between sets of formulas. 3. A rule for assigning meaning to formulas (semantics) that is sound with respect to the inference relation. First…

Logic · Mathematics 2016-09-06 Atish Bagchi , Charles Wells

Generative deep learning has become pivotal in molecular design for drug discovery, materials science, and chemical engineering. A widely used paradigm is to pretrain neural networks on string representations of molecules and fine-tune them…

Machine Learning · Computer Science 2025-03-21 Jonathan Pirnay , Jan G. Rittig , Alexander B. Wolf , Martin Grohe , Jakob Burger , Alexander Mitsos , Dominik G. Grimm

The first step in the construction of a regression model or a data-driven analysis, aiming to predict or elucidate the relationship between the atomic scale structure of matter and its properties, involves transforming the Cartesian…

Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments…

Logic in Computer Science · Computer Science 2020-07-21 Marius Buliga

We give an overview of combinatorial methods to represent 3D data, such as graphs and meshes, from the viewpoint of their amenability to analysis using machine learning algorithms. We highlight pros and cons of various representations and…

Machine Learning · Computer Science 2024-08-19 Tomasz Prytuła

To retrieve and compare scientific data of simulations and experiments in materials science, data needs to be easily accessible and machine readable to qualify and quantify various materials science phenomena. The recent progress in open…

Materials Science · Physics 2025-03-25 Balduin Katzer , Steffen Klinder , Katrin Schulz

Genome-scale metabolic models (GEMs) are essential tools for systems biology and rational chassis design, but conventional top-down reconstruction depends heavily on sequence homology and often leaves unknown enzymes and metabolic dark…

Quantitative Methods · Quantitative Biology 2026-05-15 Weiyu Xiao , Jiangbin Zheng , Stan Z. Li

While showing impressive performance on various kinds of learning tasks, it is yet unclear whether deep learning models have the ability to robustly tackle reasoning tasks. than by learning the underlying reasoning process that is actually…

Machine Learning · Computer Science 2022-10-06 Andrea Valenti , Davide Bacciu , Antonio Vergari

Computational scientists have long been developing a diverse portfolio of methodologies to characterise condensed matter systems. Most of the descriptors resulting from these efforts are ultimately based on the spatial configurations of…

Computational Physics · Physics 2024-08-13 An Wang , Gabriele C. Sosso

Language models are revolutionizing the biochemistry domain, assisting scientists in drug design and chemical synthesis with high efficiency. Yet current approaches struggle between small language models prone to hallucination and limited…

Machine Learning · Computer Science 2026-02-02 Hao Li , He Cao , Shenyao Peng , Zijing Liu , Bin Feng , Yu Wang , Zhiyuan Yan , Yonghong Tian , Yu Li , Li Yuan