{"total":13,"rows":[{"id":"2106.04823","title":"Taxonomy of Machine Learning Safety: A Survey and Primer","created":"2021-06-09","cited_by_count":25,"area":null},{"id":"2311.03332","title":"Learning Hard-Constrained Models with One Sample","created":"2023-11-06","cited_by_count":7,"area":null},{"id":"2305.09247","title":"Rounding Meets Approximate Model Counting","created":"2023-05-16","cited_by_count":6,"area":null},{"id":"2311.07233","title":"IASCAR: Incremental Answer Set Counting by Anytime Refinement","created":"2023-11-13","cited_by_count":2,"area":null},{"id":"2305.19212","title":"Solving Projected Model Counting by Utilizing Treewidth and its Limits","created":"2023-05-30","cited_by_count":1,"area":null},{"id":"2309.08883","title":"Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees","created":"2023-09-16","cited_by_count":1,"area":null},{"id":"2406.11414","title":"Formally Certified Approximate Model Counting","created":"2024-06-17","cited_by_count":1,"area":null},{"id":"2407.12816","title":"Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting","created":"2024-06-29","cited_by_count":1,"area":null},{"id":"2101.00589","title":"diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming","created":"2021-01-03","cited_by_count":0,"area":null},{"id":"2204.04242","title":"Exploiting complex pattern features for interactive pattern mining","created":"2022-04-08","cited_by_count":0,"area":null},{"id":"2212.00296","title":"Learning Markov Random Fields for Combinatorial Structures via Sampling through Lov\\'asz Local Lemma","created":"2022-12-01","cited_by_count":0,"area":null},{"id":"2409.00837","title":"You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG","created":"2024-09-01","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}],"next_cursor":null}