{"total":15,"rows":[{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2205.14943","title":"Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes","created":"2022-05-30","cited_by_count":1,"area":null},{"id":"2603.03668","title":"Can LLM Aid in Solving Constraints with Inductive Definitions?","created":"2026-03-04","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":"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":"2505.15958","title":"Data-driven Verification of Procedural Programs with Integer Arrays","created":"2025-05-21","cited_by_count":0,"area":null},{"id":"2604.15533","title":"Verification Modulo Tested Library Contracts","created":"2026-04-16","cited_by_count":0,"area":null},{"id":"2604.27209","title":"Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves","created":"2026-04-29","cited_by_count":0,"area":null}],"next_cursor":null}