The preliminary study reveals that models finetuned for function-level binary code similarity exhibit substantially better instruction alignment than their pre-trained model, suggesting a strong correlation between instruction alignment and function-level embedding quality.
A top-down differential analysis methodology that calibrates compiler optimization differences with fine-grained, hierarchical microarchitectural metrics, offering a comprehensive view of runtime behavior and a binary patching framework that fixes identified performance issues by transplanting superior code sequences f...
Zhibo Liu, Huai-Jin Wang, Shuai Wang· Proceedings of the ACM on So...· 0 citations
This work presents an automated framework that removes redundant checks while provably preserving soundness in zero-knowledge proof systems, and evaluates circuits spanning MLP, CNN, RNN, and transformer architectures generated by two production frameworks.
Zhan-Tong Xue, Ping-Chuan Ma, Zhaoyu Wang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.