{"total":18,"rows":[{"id":"2101.10320","title":"Identity-aware Graph Neural Networks","created":"2021-01-25","cited_by_count":198,"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":"2310.02807","title":"A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability","created":"2023-10-04","cited_by_count":21,"area":null},{"id":"2410.22806","title":"MILP-StuDio: MILP Instance Generation via Block Structure Decomposition","created":"2024-10-30","cited_by_count":17,"area":null},{"id":"2212.02810","title":"Data Imputation with Iterative Graph Reconstruction","created":"2022-12-06","cited_by_count":15,"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":"2106.11581","title":"Continuous-Depth Neural Models for Dynamic Graph Prediction","created":"2021-06-22","cited_by_count":7,"area":null},{"id":"2401.05960","title":"Machine Learning Insides OptVerse AI Solver: Design Principles and Applications","created":"2024-01-11","cited_by_count":7,"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":"2406.13125","title":"A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks","created":"2024-06-19","cited_by_count":5,"area":null},{"id":"2302.00272","title":"W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs","created":"2023-02-01","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":"2409.04495","title":"Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks","created":"2024-09-06","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":"2502.11410","title":"Structure based SAT dataset for analysing GNN generalisation","created":"2025-02-17","cited_by_count":1,"area":null},{"id":"2511.22116","title":"IVGAE: Handling Incomplete Heterogeneous Data with a Variational Graph Autoencoder","created":"2025-11-27","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":"2605.06931","title":"Target-Aware Data Augmentation for SAT Prediction","created":"2026-05-07","cited_by_count":0,"area":null}],"next_cursor":null}