37 citations · 41 across the 9 of their papers we have counts for
9 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…
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
Although state-of-the-art (SOTA) SAT solvers based on conflict-driven clause learning (CDCL) have achieved remarkable engineering success, their sequential nature limits the parall…
Energy-efficient superparamagnetic Ising machine and its application to traveling salesman problems
Jia Si, Shuhan Yang, Yunuo Cen +7
The growth of artificial intelligence and IoT has created a significant computational load for solving non-deterministic polynomial-time (NP)-hard problems, which are difficult to…
Design of Spintronics-based Neuronal and Synaptic Devices for Spiking Neural Network Circuits
Debasis Das, Yunuo Cen, Jianze Wang +1
Topologically stable magnetic skyrmion has a much lower depinning current density that may be useful for memory as well as neuromorphic computing. However, skyrmion-based devices s…
CITS: Coherent Ising Tree Search Algorithm Towards Solving Combinatorial Optimization Problems
Yunuo Cen, Debasis Das, Xuanyao Fong
Simulated annealing (SA) attracts more attention among classical heuristic algorithms because the solution of the combinatorial optimization problem can be naturally mapped to the…
Bilayer-skyrmion-based design of neuron and synapse for spiking neural network
Debasis Das, Yunuo Cen, Jianze Wang +1
Magnetic skyrmion technology is promising for the next-generation spintronics-based memory and neuromorphic computing due to their small size, non-volatility and low depinning curr…