AI RESEARCH
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
arXiv CS.LG
•
ArXi:2605.07433v1 Announce Type: cross Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings have enabled rigorous inference of these models from data, the process remains highly fragile. First, biological measurement errors inevitably propagate into formal model specifications. Second, when a specification becomes unsatisfiable, distinguishing between fundamental design flaws and minor technical errors is notoriously difficult.