982 followers
Property Invariant Embedding for Automated Reasoning,ECAI 2020 https://t.co/7FxQhfex7V
Property Invariant Embedding for Automated Reasoning,ECAI 2020 https://t.co/7FxQhfex7V
Exploring Representation of Horn Clauses using GNNs (Extended Technical Report) https://t.co/7Yru3t3l7h Boosting Constrained Horn Solving by Unsat Core Learning,VMCAI 2023 https://t.co/gIZWjZHtUx
Truly honored that our paper "Correctness Witness Validation by Abstract Interpretation" was awarded the Best Paper Award at VMCAI this year. Thanks to @SpringerNature for sponsoring this award. Link to paper: https://t.co/Hqjbm0pyeH #vmcai https://t.co/e