{"total":24,"rows":[{"id":"2106.08253","title":"A Syntax-Guided Edit Decoder for Neural Program Repair","created":"2021-06-15","cited_by_count":57,"area":null},{"id":"2208.10227","title":"One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction","created":"2022-08-22","cited_by_count":27,"area":null},{"id":"2203.04755","title":"Machine Learning Methods in Solving the Boolean Satisfiability Problem","created":"2022-03-02","cited_by_count":22,"area":null},{"id":"2211.03880","title":"NSNet: A General Neural Probabilistic Framework for Satisfiability Problems","created":"2022-11-07","cited_by_count":18,"area":null},{"id":"2309.16941","title":"G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks","created":"2023-09-29","cited_by_count":18,"area":null},{"id":"2209.00953","title":"SATformer: Transformer-Based UNSAT Core Learning","created":"2022-09-02","cited_by_count":14,"area":null},{"id":"2302.02104","title":"HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline","created":"2023-02-04","cited_by_count":12,"area":null},{"id":"2205.13745","title":"DeepSAT: An EDA-Driven Learning Framework for SAT","created":"2022-05-27","cited_by_count":11,"area":null},{"id":"2102.11485","title":"Generalized Equivariance and Preferential Labeling for GNN Node Classification","created":"2021-02-23","cited_by_count":7,"area":null},{"id":"2111.07568","title":"Can Graph Neural Networks Learn to Solve MaxSAT Problem?","created":"2021-11-15","cited_by_count":5,"area":null},{"id":"2403.13838","title":"Circuit Transformer: A Transformer That Preserves Logical Equivalence","created":"2024-03-14","cited_by_count":5,"area":null},{"id":"2304.08738","title":"Addressing Variable Dependency in GNN-based SAT Solving","created":"2023-04-18","cited_by_count":3,"area":null},{"id":"2408.15418","title":"Understanding GNNs for Boolean Satisfiability through Approximation Algorithms","created":"2024-08-27","cited_by_count":3,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2502.11410","title":"Structure based SAT dataset for analysing GNN generalisation","created":"2025-02-17","cited_by_count":1,"area":null},{"id":"2504.11885","title":"HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems","created":"2025-04-16","cited_by_count":1,"area":null},{"id":"2507.01825","title":"MILP-SAT-GNN: Yet Another Neural SAT Solver","created":"2025-07-02","cited_by_count":1,"area":null},{"id":"2307.04608","title":"Learning Interpretable Heuristics for WalkSAT","created":"2023-07-10","cited_by_count":0,"area":null},{"id":"2307.09141","title":"Machine Learning for SAT: Restricted Heuristics and New Graph Representations","created":"2023-07-18","cited_by_count":0,"area":null},{"id":"2309.11452","title":"Using deep learning to construct stochastic local search SAT solvers with performance bounds","created":"2023-09-20","cited_by_count":0,"area":null},{"id":"2403.03517","title":"IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability","created":"2024-03-06","cited_by_count":0,"area":null},{"id":"2604.15448","title":"Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations","created":"2026-04-16","cited_by_count":0,"area":null},{"id":"2605.04819","title":"Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs","created":"2026-05-06","cited_by_count":0,"area":null},{"id":"2605.06931","title":"Target-Aware Data Augmentation for SAT Prediction","created":"2026-05-07","cited_by_count":0,"area":null}],"next_cursor":null}