research
∙
08/17/2023
BOTT: Box Only Transformer Tracker for 3D Object Tracking
Tracking 3D objects is an important task in autonomous driving. Classica...
share
research
∙
06/09/2023
Explaining SAT Solving Using Causal Reasoning
The past three decades have witnessed notable success in designing effic...
research
∙
05/16/2023
Rounding Meets Approximate Model Counting
The problem of model counting, also known as #SAT, is to compute the num...
research
∙
11/03/2022
Data-based Polymer-Unit Fingerprint (PUFp): A Newly Accessible Expression of Polymer Organic Semiconductors for Machine Learning
In the process of finding high-performance organic semiconductors (OSCs)...
research
∙
12/14/2018