AI RESEARCH
GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
arXiv CS.LG
•
ArXi:2605.08243v1 Announce Type: cross Synthesizing Mixed-Boolean Arithmetic (MBA) expressions from input-output examples is central to program deobfuscation and also useful for compiler optimization, reverse engineering, and cryptanalysis. Existing MBA synthesizers are typically CPU-based and scale poorly on large specifications or complex targets.