yedi

https://zhangyedi.github.io/ [email protected]

National University of Singapore Singapore Currently, I am a Postdoc at National University of Singapore (NUS), working on trustworthy AI.

Repositories
Issues
Comments

Results 1 issues of


                                            yedi

About extension of CAV19

Hi, I am wondering if you have extended ID (your work "Incremental Determinization for Quantifier Elimination and Functional Synthesis" in CAV19) in the current version of cadet?