3 papers
cs.CL2026
QUBO-Optimized Evidence Selection for Retrieval-Augmented Question Answering with Unconventional Solvers
Rahul Singh, Madhav Vadlamani
Retrieval-augmented question answering depends on selecting evidence passages that jointly support answer generation. However, many RAG pipelines rely on top-\(k\) ranking, where p…
cs.ET2026
Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks
Madhav Vadlamani, Rahul Singh, Yuyao Kong +2
Verification of binary neural network (BNN) robustness is NP-hard, as it can be formulated as a combinatorial search for an adversarial perturbation that induces misclassification.…
cs.ET2025
Cryogenic Characterization of Ferroelectric Non-volatile Capacitors
Madhav Vadlamani, Dyutimoy Chakraborty, Jianwei Jia +5
Ferroelectric-based capacitive crossbar arrays have been proposed for energy-efficient in-memory computing in the charge domain. They combat the challenges like sneak paths and hig…