Vincent Liew

According to our database, Vincent Liew authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Demo Abstract: Online Training and Inference for On-Device Monocular Depth Estimation.

Allen-Jasmin Farcas, Geffen Cooper, Hyun Joon Song, Afnan Mir, Vincent Liew, Chloe Tang, Prithvi Senthilkumar, Tiani Chen-Troester, Radu Marculescu

Proceedings of the Ninth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2024

2020

A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic.

Vincent Liew

PhD thesis, 2020

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.

Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Toward Verifying Nonlinear Integer Arithmetic.

Paul Beame, Vincent Liew

J. ACM, 2019

2017

Towards Verifying Nonlinear Integer Arithmetic.

Paul Beame, Vincent Liew

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

New Limits for Knowledge Compilation and Applications to Exact Model Counting.

Paul Beame, Vincent Liew

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Finding the Median (Obliviously) with Bounded Space.

Paul Beame, Vincent Liew, Mihai Patrascu

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015