Imagine Team/ Publications/ AI for polymer design : From knowledge modeling–based Counterexample analysis to guided molecular generation/ AI for polymer design : From knowledge modeling–based Counterexample analysis to guided molecular generation 1 January 2026