GPU-accelerated SAT solvers, Ising model optimization, and quantum-competitive classical algorithms.
Test constraint satisfaction and optimization problems
Analyze ambiguous text and select the most accurate interpretation
Grammar-Aware 3D Genome Engine for VUS Resolution