{"total":16,"rows":[{"id":"2504.05408","title":"Frontier AI's Impact on the Cybersecurity Landscape","created":"2025-04-07","cited_by_count":21,"area":null},{"id":"2402.10705","title":"AutoSAT: Automatically Optimize SAT Solvers via Large Language Models","created":"2024-02-16","cited_by_count":15,"area":null},{"id":"2509.24509","title":"Experience-Guided Reflective Co-Evolution of Prompts and Heuristics for Automatic Algorithm Design","created":"2025-09-29","cited_by_count":4,"area":null},{"id":"2504.01173","title":"Neural Approaches to SAT Solving: Design Choices and Interpretability","created":"2025-04-01","cited_by_count":2,"area":null},{"id":"2505.13087","title":"Graph Alignment for Benchmarking Graph Neural Networks and Learning Positional Encodings","created":"2025-05-19","cited_by_count":2,"area":null},{"id":"2508.20330","title":"FORGE: Foundational Optimization Representations from Graph Embeddings","created":"2025-08-28","cited_by_count":2,"area":null},{"id":"2602.18419","title":"Benchmarking Graph Neural Networks in Solving Hard Constraint Satisfaction Problems","created":"2026-02-20","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":"2507.01825","title":"MILP-SAT-GNN: Yet Another Neural SAT Solver","created":"2025-07-02","cited_by_count":1,"area":null},{"id":"2602.08745","title":"On the Expressive Power of GNNs for Boolean Satisfiability","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2603.07176","title":"Learning to Rank the Initial Branching Order of SAT Solvers","created":"2026-03-07","cited_by_count":1,"area":null},{"id":"2508.21513","title":"A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers","created":"2025-08-29","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},{"id":"2610.18649","title":"Tiny Recursive Message Passing","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}