{"total":16,"rows":[{"id":"2311.02433","title":"Can ChatGPT support software verification?","created":"2023-11-04","cited_by_count":14,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2410.23790","title":"Neural Model Checking","created":"2024-10-31","cited_by_count":6,"area":null},{"id":"2405.15723","title":"Bisimulation Learning","created":"2024-05-24","cited_by_count":5,"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":"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":"2108.02572","title":"SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis","created":"2021-08-03","cited_by_count":0,"area":null},{"id":"2108.02725","title":"VisualTextRank: Unsupervised Graph-based Content Extraction for Automating Ad Text to Image Search","created":"2021-08-05","cited_by_count":0,"area":null},{"id":"2109.05778","title":"Text is NOT Enough: Integrating Visual Impressions into Open-domain Dialogue Generation","created":"2021-09-13","cited_by_count":0,"area":null},{"id":"2202.02830","title":"Discovering Personalized Semantics for Soft Attributes in Recommender Systems using Concept Activation Vectors","created":"2022-02-06","cited_by_count":0,"area":null},{"id":"2203.11011","title":"Reinforced MOOCs Concept Recommendation in Heterogeneous Information Networks","created":"2022-03-08","cited_by_count":0,"area":null},{"id":"2205.08335","title":"Explanation-Guided Fairness Testing through Genetic Algorithm","created":"2022-05-16","cited_by_count":0,"area":null},{"id":"2207.14648","title":"Using Graph Neural Networks for Program Termination","created":"2022-07-28","cited_by_count":0,"area":null},{"id":"2303.09664","title":"Tribe or Not? Critical Inspection of Group Differences Using TribalGram","created":"2023-03-16","cited_by_count":0,"area":null},{"id":"2411.06409","title":"Automated Strategy Invention for Confluence of Term Rewrite Systems","created":"2024-11-10","cited_by_count":0,"area":null},{"id":"2505.14001","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","created":"2025-05-20","cited_by_count":0,"area":null}],"next_cursor":null}