English
Related papers

Related papers: Neuro-Symbolic Regex Synthesis Framework via Neura…

200 papers

Modern neural network architectures still struggle to learn algorithmic procedures that require to systematically apply compositional rules to solve out-of-distribution problem instances. In this work, we focus on formula simplification…

Neural and Evolutionary Computing · Computer Science 2024-07-15 Flavio Petruzzellis , Alberto Testolin , Alessandro Sperduti

Objective. Electroencephalography (EEG) data is derived by sampling continuous neurological time series signals. In order to prepare EEG signals for machine learning, the signal must be divided into manageable segments. The current naive…

Machine Learning · Computer Science 2025-08-29 Johnson Zhou , Joseph West , Krista A. Ehinger , Zhenming Ren , Sam E. John , David B. Grayden

The goal of program synthesis from examples is to find a computer program that is consistent with a given set of input-output examples. Most learning-based approaches try to find a program that satisfies all examples at once. Our work, by…

Machine Learning · Computer Science 2023-06-21 Disha Shrivastava , Hugo Larochelle , Daniel Tarlow

Program synthesis with language models (LMs) has unlocked a large set of reasoning abilities; code-tuned LMs have proven adept at generating programs that solve a wide variety of algorithmic symbolic manipulation tasks (e.g. word…

Computation and Language · Computer Science 2024-11-05 Nathaniel Weir , Muhammad Khalifa , Linlu Qiu , Orion Weller , Peter Clark

One of the main obstacles to 3D semantic segmentation is the significant amount of endeavor required to generate expensive point-wise annotations for fully supervised training. To alleviate manual efforts, we propose GIDSeg, a novel…

Computer Vision and Pattern Recognition · Computer Science 2021-06-08 Peng Yin , Lingyun Xu , Jianmin Ji , Sebastian Scherer , Howie Choset

Dominant sequence models like the Transformer represent structure implicitly through dense attention weights, incurring quadratic complexity. We propose RewriteNets, a novel neural architecture built on an alternative paradigm: explicit,…

Machine Learning · Computer Science 2026-01-14 Harshil Vejendla

While end-to-end multi-channel electroencephalography (EEG) learning approaches have shown significant promise, their applicability is often constrained in neurological diagnostics, such as intracranial EEG resources. When provided with a…

Machine Learning · Computer Science 2024-10-16 Rikuto Kotoge , Zheng Chen , Tasuku Kimura , Yasuko Matsubara , Takufumi Yanagisawa , Haruhiko Kishima , Yasushi Sakurai

Traditionally, Referring Expression Generation (REG) models first decide on the form and then on the content of references to discourse entities in text, typically relying on features such as salience and grammatical function. In this…

Computation and Language · Computer Science 2018-05-22 Thiago Castro Ferreira , Diego Moussallem , Ákos Kádár , Sander Wubben , Emiel Krahmer

Current deep learning-based approaches to lesion segmentation in neuroimaging often depend on high-resolution images and extensive annotated data, limiting clinical applicability. This paper introduces a novel synthetic data framework…

Image and Video Processing · Electrical Eng. & Systems 2025-08-18 Liam Chalcroft , Ioannis Pappas , Cathy J. Price , John Ashburner

Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, mapping the inputs to their corresponding outputs exactly. Due to its precise and combinatorial nature, program synthesis…

Artificial Intelligence · Computer Science 2018-06-08 Yewen Pu , Zachery Miranda , Armando Solar-Lezama , Leslie Pack Kaelbling

One-shot segmentation of brain tissue requires training registration-segmentation (reg-seg) dual-model iteratively, where reg-model aims to provide pseudo masks of unlabeled images for seg-model by warping a carefully-labeled atlas.…

Computer Vision and Pattern Recognition · Computer Science 2024-05-21 Zhiwei Wang , Xiaoyu Zeng , Chongwei Wu , Jinxin lv , Xu Zhang , Wei Fang , Qiang Li

We present PartComposer: a framework for part-level concept learning from single-image examples that enables text-to-image diffusion models to compose novel objects from meaningful components. Existing methods either struggle with…

Graphics · Computer Science 2025-09-16 Junyu Liu , R. Kenny Jones , Daniel Ritchie

Despite the advances in Referring Expression Segmentation (RES) benchmarks, their evaluation protocols remain constrained, primarily focusing on either single targets with short queries (containing minimal attributes) or multiple targets…

Machine Learning · Computer Science 2025-05-26 Dong-Hee Kim , Hyunjee Song , Donghyun Kim

Recent advances in learning-based perception systems have led to drastic improvements in the performance of robotic systems like autonomous vehicles and surgical robots. These perception systems, however, are hard to analyze and errors in…

Systems and Control · Electrical Eng. & Systems 2021-05-17 Shromona Ghosh , Yash Vardhan Pant , Hadi Ravanbakhsh , Sanjit A. Seshia

Modern deep learning models in computer vision require large datasets of real images, which are difficult to curate and pose privacy and legal concerns, limiting their commercial use. Recent works suggest synthetic data as an alternative,…

Computer Vision and Pattern Recognition · Computer Science 2025-06-25 Farnood Salehi , Vandit Sharma , Amirhossein Askari Farsangi , Tunç Ozan Aydın

We address the problem of learning a syntactic profile for a collection of strings, i.e. a set of regex-like patterns that succinctly describe the syntactic variations in the strings. Real-world datasets, typically curated from multiple…

Machine Learning · Computer Science 2019-04-17 Saswat Padhi , Prateek Jain , Daniel Perelman , Oleksandr Polozov , Sumit Gulwani , Todd Millstein

Implicit neural representations (INRs) have achieved remarkable successes in learning expressive yet compact signal representations. However, they are not naturally amenable to predictive tasks such as segmentation, where they must learn…

Computer Vision and Pattern Recognition · Computer Science 2025-10-07 Kushal Vyas , Ashok Veeraraghavan , Guha Balakrishnan

Feature selection aims to identify the optimal feature subset for enhancing downstream models. Effective feature selection can remove redundant features, save computational resources, accelerate the model learning process, and improve the…

Machine Learning · Computer Science 2024-12-19 Nanxu Gong , Wangyang Ying , Dongjie Wang , Yanjie Fu

Recent progress in deep learning for audio synthesis opens the way to models that directly produce the waveform, shifting away from the traditional paradigm of relying on vocoders or MIDI synthesizers for speech or music generation. Despite…

Sound · Computer Science 2018-10-24 Alexandre Défossez , Neil Zeghidour , Nicolas Usunier , Léon Bottou , Francis Bach

Coupling the high-fidelity generation capabilities of label-conditional image synthesis methods with the flexibility of unconditional generative models, we propose a semantic bottleneck GAN model for unconditional synthesis of complex…

Machine Learning · Computer Science 2019-11-27 Samaneh Azadi , Michael Tschannen , Eric Tzeng , Sylvain Gelly , Trevor Darrell , Mario Lucic