English
Related papers

Related papers: APIGen: Automated Pipeline for Generating Verifiab…

200 papers

There is an ever-increasing need for computational power to train complex artificial intelligence (AI) & machine learning (ML) models to tackle large scientific problems. High performance computing (HPC) resources are required to…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-22 David Brayford , Sofia Vallercorsa

AutoML systems build machine learning models automatically by performing a search over valid data transformations and learners, along with hyper-parameter optimization for each learner. Many AutoML systems use meta-learning to guide search…

Machine Learning · Computer Science 2022-07-18 Mossad Helali , Essam Mansour , Ibrahim Abdelaziz , Julian Dolby , Kavitha Srinivas

Modern software is increasingly built by composing APIs, elevating the API contract to a critical role. Inadequate contracts, however, lead to mismatched expectations and failures, creating a pressing need for robust conformance testing.…

Software Engineering · Computer Science 2025-10-23 S M Sadrul Islam Asif , James Chen , Earl T. Barr , Mark Marron

Hardware complexity continues to strain verification resources, motivating the adoption of machine learning (ML) methods to improve debug efficiency. However, ML-assisted debugging critically depends on diverse and scalable bug datasets,…

Software Engineering · Computer Science 2025-06-19 Surya Jasper , Minh Luu , Evan Pan , Aakash Tyagi , Michael Quinn , Jiang Hu , David Kebo Houngninou

Most enterprise document AI today is a pipeline. Parse, index, retrieve, generate. Each of those stages has been studied to death on its own -- what's still hard is evaluating the system as a whole. We built EnterpriseDocBench to take a…

Computation and Language · Computer Science 2026-04-30 Saurabh K. Singh , Sachin Raj

The extensive damage caused by malware requires anti-malware systems to be constantly improved to prevent new threats. The current trend in malware detection is to employ machine learning models to aid in the classification process. We…

Cryptography and Security · Computer Science 2023-01-31 Marcus Carpenter , Chunbo Luo

Synthetic image generation has opened up new opportunities but has also created threats in regard to privacy, authenticity, and security. Detecting fake images is of paramount importance to prevent illegal activities, and previous research…

Computer Vision and Pattern Recognition · Computer Science 2023-02-27 Md Awsafur Rahman , Bishmoy Paul , Najibul Haque Sarker , Zaber Ibn Abdul Hakim , Shaikh Anowarul Fattah

Large Language Models (LLMs) leverage external tools primarily through generating the API request to enhance task completion efficiency. The accuracy of API request generation significantly determines the capability of LLMs to accomplish…

Software Engineering · Computer Science 2024-10-10 Huanxi Liu , Jiaqi Liao , Dawei Feng , Kele Xu , Huaimin Wang

The development of embodied agents for complex commercial environments is hindered by a critical gap in existing robotics datasets and benchmarks, which primarily focus on household or tabletop settings with short-horizon tasks. To address…

Robotics · Computer Science 2026-03-06 Xu Hu , Yiyang Feng , Junran Peng , Jiawei He , Liyi Chen , Wei Sui , Chuanchen Luo , Xucheng Yin , Qing Li , Zhaoxiang Zhang

For agentic systems to use external tools to solve complex, long-horizon tasks, we need a large set of diverse and controllable tool-use environments. We introduce SynthTools, a fully LLM-based pipeline spanning the entire lifecycle:…

Artificial Intelligence · Computer Science 2026-05-28 Tommaso Castellani , Naimeng Ye , Daksh Mittal , Thomson Yen , Emmanouil Koukoumidis , William Zeng , Hongseok Namkoong

This paper introduces a pipeline to parametrically sample and render multi-task vision datasets from comprehensive 3D scans from the real world. Changing the sampling parameters allows one to "steer" the generated datasets to emphasize…

Computer Vision and Pattern Recognition · Computer Science 2021-10-12 Ainaz Eftekhar , Alexander Sax , Roman Bachmann , Jitendra Malik , Amir Zamir

A growing trend in modern data analysis is the integration of data management with learning, guided by accuracy, latency, and cost requirements. In practice, applications draw data of different formats from many sources. In the meanwhile,…

Databases · Computer Science 2025-10-15 Meihui Zhang , Liming Wang , Chi Zhang , Zhaojing Luo

Existing API-based agentic systems for RTL code generation are fundamentally misaligned with industrial practice: they assume a golden testbench is available at generation time, rely on closed-source APIs incompatible with chip vendors'…

The availability of large datasets is crucial for the development of new power system applications and tools; unfortunately, very few are publicly and freely available. We designed an end-to-end generative framework for the creation of…

Systems and Control · Electrical Eng. & Systems 2022-07-26 Andrea Pinceti , Lalitha Sankar , Oliver Kosut

Constructing simulation scenes that are both visually and physically realistic is a problem of practical interest in domains ranging from robotics to computer vision. This problem has become even more relevant as researchers wielding large…

With the proliferation of data across various domains, there is a critical demand for tools that enable non-experts to derive meaningful insights without deep data analysis skills. To address this need, existing automatic fact sheet…

Human-Computer Interaction · Computer Science 2025-02-26 Minh Duc Vu , Jieshan Chen , Zhenchang Xing , Qinghua Lu , Xiwei Xu , Qian Fu

Artificial Intelligence (AI)-powered features have rapidly proliferated across mobile apps in various domains, including productivity, education, entertainment, and creativity. However, how users perceive, evaluate, and critique these AI…

Software Engineering · Computer Science 2025-06-13 Vinaik Chhetri , Krishna Upadhyay , A. B. Siddique , Umar Farooq

Across many domains (e.g., IoT, observability, telecommunications, cybersecurity), there is an emerging adoption of conversational data analysis agents that enable users to "talk to your data" to extract insights. Such data analysis agents…

Artificial Intelligence · Computer Science 2026-03-16 Aadyaa Maddi , Prakhar Naval , Deepti Mande , Shane Duan , Muckai Girish , Vyas Sekar

Discovering insights from a real-world data lake potentially containing unclean, semi-structured, and unstructured data requires a variety of data processing tasks, ranging from extraction and cleaning to integration, analysis, and…

Recent advancements in assured autonomy have brought autonomous vehicles (AVs) closer to fruition. Despite strong evidence that multi-sensor, multi-agent (MSMA) systems can yield substantial improvements in the safety and security of AVs,…

Robotics · Computer Science 2023-12-11 R. Spencer Hallyburton , Miroslav Pajic
‹ Prev 1 8 9 10 Next ›