{"total":20,"rows":[{"id":"2211.03880","title":"NSNet: A General Neural Probabilistic Framework for Satisfiability Problems","created":"2022-11-07","cited_by_count":18,"area":null},{"id":"2403.00323","title":"Softened Symbol Grounding for Neuro-symbolic Systems","created":"2024-03-01","cited_by_count":16,"area":null},{"id":"2110.09026","title":"Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling","created":"2021-10-18","cited_by_count":9,"area":null},{"id":"2305.09247","title":"Rounding Meets Approximate Model Counting","created":"2023-05-16","cited_by_count":6,"area":null},{"id":"2110.09171","title":"Projected Model Counting: Beyond Independent Support","created":"2021-10-18","cited_by_count":2,"area":null},{"id":"2212.09390","title":"Fast Converging Anytime Model Counting","created":"2022-12-19","cited_by_count":2,"area":null},{"id":"2408.07059","title":"Model Counting in the Wild","created":"2024-08-13","cited_by_count":2,"area":null},{"id":"2202.10025","title":"CCDD: A Tractable Representation for Model Counting and Uniform Sampling","created":"2022-02-21","cited_by_count":1,"area":null},{"id":"2304.06366","title":"IBIA: An Incremental Build-Infer-Approximate Framework for Approximate Inference of Partition Function","created":"2023-04-13","cited_by_count":1,"area":null},{"id":"2312.15877","title":"PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas","created":"2023-12-26","cited_by_count":1,"area":null},{"id":"2507.03929","title":"An ASP-Based Framework for MUSes","created":"2025-07-05","cited_by_count":1,"area":null},{"id":"2110.12588","title":"QuantifyML: How Good is my Machine Learning Model?","created":"2021-10-25","cited_by_count":0,"area":null},{"id":"2502.09231","title":"Answer Set Counting and its Applications","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2504.05874","title":"Systematic Parameter Decision in Approximate Model Counting","created":"2025-04-08","cited_by_count":0,"area":null},{"id":"2507.02916","title":"Efficient Certified Reasoning for Binarized Neural Networks","created":"2025-06-25","cited_by_count":0,"area":null},{"id":"2507.18612","title":"Approximate SMT Counting Beyond Discrete Domains","created":"2025-07-24","cited_by_count":0,"area":null},{"id":"2509.14577","title":"Structure-Preserving Margin Distribution Learning for High-Order Tensor Data with Low-Rank Decomposition","created":"2025-09-18","cited_by_count":0,"area":null},{"id":"2510.15583","title":"Attn-JGNN: Attention Enhanced Join-Graph Neural Networks","created":"2025-10-17","cited_by_count":0,"area":null},{"id":"2605.03391","title":"A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers","created":"2026-05-05","cited_by_count":0,"area":null},{"id":"2607.04142","title":"CSB: A Counting and Sampling tool for Bit-vectors","created":"2026-07-05","cited_by_count":0,"area":null}],"next_cursor":null}