Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis

15 July 2021

Papers citing "Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis"

7 / 7 papers shown

Title
Learning the greatest common divisor: explaining transformer predictions Franccois Charton 20 17 0 29 Aug 2023
SALSA VERDE: a machine learning attack on Learning With Errors with sparse small secrets Cathy Li Emily Wenger Zeyuan Allen-Zhu François Charton Kristin E. Lauter AAML 25 10 0 20 Jun 2023
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks Saidul Islam Hanae Elmekki Ahmed Elsebai Jamal Bentahar Najat Drawel Gaith Rjoub Witold Pedrycz ViT MedIm 24 171 0 11 Jun 2023
Addressing Variable Dependency in GNN-based SAT Solving Zhiyuan Yan Min Li Zhengyuan Shi Wenqi Zhang Ying Chen Hongce Zhang GNN 28 2 0 18 Apr 2023
SATformer: Transformer-Based UNSAT Core Learning Zhengyuan Shi Min Li Yi Liu Sadaf Khan Junhua Huang Hui-Ling Zhen M. Yuan Qiang Xu NAI 21 7 0 02 Sep 2022
SALSA: Attacking Lattice Cryptography with Transformers Emily Wenger Mingjie Chen Franccois Charton Kristin E. Lauter AAML 33 35 0 11 Jul 2022
Linear algebra with transformers Franccois Charton AIMat 29 56 0 03 Dec 2021