{"total":58,"rows":[{"id":"2102.09544","title":"Combinatorial optimization and reasoning with graph neural networks","created":"2021-02-18","cited_by_count":268,"area":null},{"id":"2102.03357","title":"Machine Learning for Electronic Design Automation: A Survey","created":"2021-01-10","cited_by_count":72,"area":null},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46,"area":null},{"id":"2110.10942","title":"Generalization of Neural Combinatorial Solvers Through the Lens of Adversarial Robustness","created":"2021-10-21","cited_by_count":35,"area":null},{"id":"2210.15304","title":"Explaining the Explainers in Graph Neural Networks: a Comparative Study","created":"2022-10-27","cited_by_count":35,"area":null},{"id":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33,"area":null},{"id":"2106.07162","title":"Goal-Aware Neural SAT Solver","created":"2021-06-14","cited_by_count":28,"area":null},{"id":"2202.08396","title":"Augment with Care: Contrastive Learning for Combinatorial Problems","created":"2022-02-17","cited_by_count":22,"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":"2110.14053","title":"NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks","created":"2021-10-26","cited_by_count":19,"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":"2107.11864","title":"Neural Circuit Synthesis from Specification Patterns","created":"2021-07-25","cited_by_count":17,"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":"2209.00953","title":"SATformer: Transformer-Based UNSAT Core Learning","created":"2022-09-02","cited_by_count":14,"area":null},{"id":"2310.00526","title":"Are Graph Neural Networks Optimal Approximation Algorithms?","created":"2023-10-01","cited_by_count":11,"area":null},{"id":"2107.07116","title":"Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis","created":"2021-07-15","cited_by_count":9,"area":null},{"id":"2102.09193","title":"SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning","created":"2021-02-18","cited_by_count":6,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"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":"2211.01980","title":"Learning to Configure Computer Networks with Neural Algorithmic Reasoning","created":"2022-10-26","cited_by_count":5,"area":null},{"id":"2304.10486","title":"CoProver: A Recommender System for Proof Construction","created":"2023-03-01","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":"2405.11024","title":"GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection","created":"2024-05-17","cited_by_count":5,"area":null},{"id":"2312.16423","title":"General Method for Solving Four Types of SAT Problems","created":"2023-12-27","cited_by_count":4,"area":null},{"id":"2502.02446","title":"Towards graph neural networks for provably solving convex optimization problems","created":"2025-02-04","cited_by_count":4,"area":null},{"id":"2505.16053","title":"Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs","created":"2025-05-21","cited_by_count":4,"area":null},{"id":"2211.12581","title":"UNSAT Solver Synthesis via Monte Carlo Forest Search","created":"2022-11-22","cited_by_count":3,"area":null},{"id":"2301.01913","title":"Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver","created":"2023-01-05","cited_by_count":3,"area":null},{"id":"2312.14836","title":"Learning Lagrangian Multipliers for the Travelling Salesman Problem","created":"2023-12-22","cited_by_count":3,"area":null},{"id":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2402.03640","title":"torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem","created":"2024-02-06","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":"2305.11087","title":"Lightweight Online Learning for Sets of Related Problems in Automated Reasoning","created":"2023-05-18","cited_by_count":2,"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":"2504.01173","title":"Neural Approaches to SAT Solving: Design Choices and Interpretability","created":"2025-04-01","cited_by_count":2,"area":null},{"id":"2311.02101","title":"Solving MaxSAT with Matrix Multiplication","created":"2023-11-01","cited_by_count":1,"area":null},{"id":"2402.08365","title":"Learning Better Representations From Less Data For Propositional Satisfiability","created":"2024-02-13","cited_by_count":1,"area":null},{"id":"2410.14888","title":"Self-Satisfied: An end-to-end framework for SAT generation and prediction","created":"2024-10-18","cited_by_count":1,"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":"2511.07737","title":"TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System","created":"2025-11-11","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":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null},{"id":"2209.04361","title":"SC-Square: Future Progress with Machine Learning?","created":"2022-09-09","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":"2409.18778","title":"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation","created":"2024-09-27","cited_by_count":0,"area":null},{"id":"2412.11205","title":"Concept Learning in the Wild: Towards Algorithmic Understanding of Neural Networks","created":"2024-12-15","cited_by_count":0,"area":null},{"id":"2510.01853","title":"Learning Representations Through Contrastive Neural Model Checking","created":"2025-10-02","cited_by_count":0,"area":null},{"id":"2604.09001","title":"Hypergraph Neural Networks Accelerate MUS Enumeration","created":"2026-04-10","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":"2607.19635","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","created":"2026-07-22","cited_by_count":0,"area":null},{"id":"2610.08808","title":"Accelerating Floating-Point Satisfiability Solving via Gradient Normalization","created":"2026-09-14","cited_by_count":0,"area":null}],"next_cursor":null}