4 papers
Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
Yunuo Cen, Daniel Ebler, Xuanyao Fong
Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing approaches are pr…
DART-ing Through the Drift: Dynamic Tracing of Knowledge Neurons for Adaptive Inference-Time Pruning
Abhishek Tyagi, Yunuo Cen, Shrey Dhorajiya +2
Large Language Models (LLMs) exhibit substantial parameter redundancy, particularly in Feed-Forward Networks (FFNs). Existing pruning methods suffer from two primary limitations. F…
FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
Yunuo Cen, Zixuan Wang, Jintao Zhang +2
The Constraint-satisfaction problem (CSP) is fundamental in mathematics, physics, and theoretical computer science. Continuous local search (CLS) solvers, as recent advancements, c…
Analysis of Higher-Order Ising Hamiltonians
Yunuo Cen, Zhiwei Zhang, Zixuan Wang +2
It is challenging to scale Ising machines for industrial-level problems due to algorithm or hardware limitations. Although higher-order Ising models provide a more compact encoding…