An INRAE unit near Toulouse applying mathematics, statistics, optimization, and computer science to biology, agriculture, and the environment.
Toulouse Biotechnology Institute / MIAT / LISM
Released April 2, 2026
Neuro-symbolic inverse folding that turns a backbone into a Potts model and hands it to an automated-reasoning solver for constrained design.