Cover Image

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Martires, Pedro Zuidberg Dos, Derkinderen, Vincent, De Raedt, Luc, Krantz, Marcus
Format:	Preprint
Published:	2024
Subjects:	Computational Engineering, Finance, and Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
by: Maene, Jaron, et al.
Published: (2024)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
by: Hazra, Rishi, et al.
Published: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

UAMM: Price-oracle based Automated Market Maker
by: Im, Daniel Jiwoong, et al.
Published: (2023)

Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024)

Probabilistic Neural Circuits
by: Martires, Pedro Zuidberg Dos
Published: (2024)

Accelerated Medicines Development using a Digital Formulator and a Self-Driving Tableting DataFactory
by: Abbas, Faisal, et al.
Published: (2025)

Promise of Data-Driven Modeling and Decision Support for Precision Oncology and Theranostics
by: Sadanandan, Binesh, et al.
Published: (2025)

Chem-R: Learning to Reason as a Chemist
by: Wang, Weida, et al.
Published: (2025)

Hierarchical Multi-Objective Optimization for Precise Performance Design of Closed-Chain Legged Mechanisms
by: Guo, Long, et al.
Published: (2025)

The Statistical Significance of the Inclusion of Graph Neural Networks in the Financial Time Series Forecasting Problem
by: Gregnanin, Marco, et al.
Published: (2026)

A Generative Adversarial Graph Neural Network for Synthetic Time Series Data
by: Gregnanin, Marco, et al.
Published: (2026)

Automated machine learning for physics-informed convolutional neural networks
by: Zhou, Wanyun, et al.
Published: (2024)

Automated design of soft-rigid hybrid robots for dynamic locomotion
by: Kobayashi, Hiroki, et al.
Published: (2026)

PINNsAgent: Automated PDE Surrogation with Large Language Models
by: Wuwu, Qingpo, et al.
Published: (2025)

Approximation Algorithms for the UAV Path Planning with Object Coverage Constraints
by: Wang, Jiawei, et al.
Published: (2025)

High-Precision Real-Time Pores Detection in LPBF using Thermal Energy Density (TED) Signals
by: Meng, Chuxiao, et al.
Published: (2024)

ASDA: Automated Skill Distillation and Adaptation for Financial Reasoning
by: Yim, Tik Yu, et al.
Published: (2026)

pyModRev: a Python Tool for Model Revision of Boolean Networks
by: Monteiro, Pedro T., et al.
Published: (2026)

Automated model discovery of finite strain elastoplasticity from uniaxial experiments
by: Jadoon, Asghar A., et al.
Published: (2024)

BAKUP: Automated, Flexible, and Capital-Efficient Insurance Protocol for Decentralized Finance
by: Singh, Srisht Fateh, et al.
Published: (2024)

A Physics-Informed Neural Network Framework for Simulating Creep Buckling in Growing Viscoelastic Biological Tissues
by: Lin, Zhongya, et al.
Published: (2025)

NASPrecision: Neural Architecture Search-Driven Multi-Stage Learning for Surface Roughness Prediction in Ultra-Precision Machining
by: Ruan, Penghui, et al.
Published: (2024)

Blockchain and Carbon Markets: Standards Overview
by: Baiz, Pedro
Published: (2024)

Liquidity Fragmentation or Optimization? Analyzing Automated Market Makers Across Ethereum and Rollups
by: Gogol, Krzysztof, et al.
Published: (2024)

Semi-Automated Generation and Hemodynamic Assessment of Surgical Baffle Geometry for Biventricular Repair
by: Martinez, Elena Sabdy, et al.
Published: (2026)

Human-Precision Medicine Interaction: Public Perceptions of Polygenic Risk Score for Genetic Health Prediction
by: Sun, Yuhao, et al.
Published: (2025)

Containing the Reproducibility Gap: Automated Repository-Level Containerization for Scholarly Jupyter Notebooks
by: Samuel, Sheeba, et al.
Published: (2026)

PiERN: Token-Level Routing for Integrating High-Precision Computation and Reasoning
by: Xiao, Hengbo, et al.
Published: (2025)

Agentic AI for Particle-Based Simulation: Automating SPH Workflows for Debris Flow Modeling
by: Zhang, Danrong, et al.
Published: (2026)

Using Graph Neural Networks and Frequency Domain Data for Automated Operational Modal Analysis of Populations of Structures
by: Jian, Xudong, et al.
Published: (2024)

Automated Keypoint Estimation for Self-Piercing Rivet Joints Using micro-CT Imaging and Transfer Learning
by: Chuah, Wei Qin, et al.
Published: (2025)

BizCompass: Benchmarking the Reasoning Capabilities of LLMs in Business Knowledge and Applications
by: Hao, Jianing, et al.
Published: (2026)

An Automated Computational Pipeline for Generating Large-Scale Cohorts of Patient-Specific Ventricular Models in Electromechanical In Silico Trials
by: Doste, Ruben, et al.
Published: (2025)

Automated Glaucoma Report Generation via Dual-Attention Semantic Parallel-LSTM and Multimodal Clinical Data Integration
by: Huang, Cheng, et al.
Published: (2025)

Fusing LLMs and KGs for Formal Causal Reasoning behind Financial Risk Contagion
by: Yu, Guanyuan, et al.
Published: (2024)