Skip to content
Conference

Neurosymbolic Large Neighbourhood Search

2026 · International Conference on Principles and Practice of Constraint Programming · pp. 18:1-18:18 · 0 citations · 40 references
Computer Science

TL;DR

This paper proposes combining a Constraint Programming model with a Masked Language Model ( mlm) to perform Large Neighbourhood Search ( lns), and shows that it can quickly generate many high-quality sentences and molecules, even for highly-constrained tasks.

View source

Similar papers

Preprint Jul 2026

Agentic Neural Architecture Search

This work proposes a mechanism that bridges these two paradigms: an LLM produces a high-quality seed architecture, then decomposes it into a "slotted architecture", a scaffold with named, interchangeable module slots that automatically defines a bounded, task-specific search space for conventional NAS to explore, without manual engineering.

Seokhoon Jeong, Mijung Kim, Taehwan Kim · 0 citations
Preprint Aug 2026

An AI4AI Framework for Visual Token Pruning

This paper argues that the key lies in designing an appropriate search-state representation that connects the internal knowledge of LLMs with the structural requirements and constraints of visual-token pruning, and proposes AutoPrune, a training-free framework for LLM-driven visual-token pruning policy design.

Zhen Liu, Wenli Huang, Wei Song et al. · 0 citations
Conference Open access 2026

Memory efficiency and resource-rational encoding in sentence processing

The results show how resource-rational models of WM allocation can be implemented in neural models simply and successfully, and point to a dissociation between WM retrieval mechanisms and the underlying memory representations in models of human sentence processing.

Weijie Xu, Brian Dillon, Richard Futrell · 1 citation
Preprint Jul 2026

SepPrune:A Separator-based Pruning Framework for Efficient Multimodal Large Language Models

It is observed that attention scores from both vision and text tokens peak at modality separator tokens, suggesting that these separators bridge the two modalities and proposes SepPrune, an efficient, training-free, plug-and-play pruning method that uses the separator token as a unified query to rank and select informative vision tokens.

Yucheng Wang, Qihui Zhu, Yang Liu et al. · 0 citations
Preprint Jul 2026

Parallel Noising in Neural Markov Logic Networks

Neural Markov Logic Networks (NMLNs) are a flexible neurosymbolic relational model. Previous work has shown that, although NMLNs achieve strong performance as generative models for small relational structures, they underperform diffusion-based generative graph models on larger structures. In this paper, we strengthen NMLNs along two main dimensions: (i) we increase the expressive capacity of their potential functions using graph neural networks, and (ii) we develop a new training and inference algorithm inspired by parallel-tempering Markov chain Monte Carlo methods, which we name parallel noising. Together, these enhancements enable NMLNs to attain strong performance in graph generation relative to general diffusion-based generative graph models. Furthermore, they allow NMLNs to match the performance of specialized text-based recurrent models when generating small molecular structures.

Peter Jung, Giuseppe Marra, Ondřej Kuželka · 0 citations