2 papers
cs.AI2026
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
Zhiyu Ni, Zheng Liang, Liangcheng Song +4
Auto-formalization (AF) translates natural-language reasoning problems into solver-executable programs, enabling symbolic solvers to perform sound logical deduction. In practice, h…
cs.CR2021
ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering
Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
Reverse engineering an integrated circuit netlist is a powerful tool to help detect malicious logic and counteract design piracy. A critical challenge in this domain is the correct…