← Search

Hikaru Shindo

8 accepted papers

2026

ActivationReasoning: Logical Reasoning in Latent Activation Spaces

ICLR 2026poster

Large language models (LLMs) excel at generating fluent text, but their internal reasoning remains opaque and difficult to control. Sparse autoencoders (SAEs) make hidden activations more interpretable by exposing latent features that often align with human concepts. Yet, these features are fragile…

Cited by 0SourcecodeScholar
2026

STORM: Segment, Track, and Object Re-Localization from a Single Image

ICML 2026poster

Accurate 6D pose estimation and tracking are core capabilities for physical AI systems, yet real-world deployment remains brittle and labor-intensive. Many pipelines rely on CAD models, manual masking, or per-object adaptation, and still fail under occlusion or fast motion without a principled way t…

Cited by 0SourceScholar
2026

Synthesizing Visual Concepts as Vision-Language Programs

CVPR 2026

Vision-Language models (VLMs) achieve strong performance on multimodal tasks but often fail at systematic visual reasoning, especially in inductive reasoning problems. Neuro-symbolic methods promise to address this by inducing interpretable logical programs from images, though they usually rely on r

Cited by 0SourceScholar
2025

ART: Adaptive Relation Tuning for Generalized Relation Prediction

ICCV 2025poster

Visual relation detection (VRD) is the task of identifying the relationships between objects in a scene. VRD models trained solely on relation detection data struggle to generalize beyond the relations on which they are trained. While prompt tuning has been used to adapt vision-language models (VLMs…

2025

BlendRL: A Framework for Merging Symbolic and Neural Policy Learning

ICLR 2025spotlight

Humans can leverage both symbolic reasoning and intuitive responses. In contrast, reinforcement learning policies are typically encoded in either opaque systems like neural networks or symbolic systems that rely on predefined symbols and rules. This disjointed approach severely limits the agents’ ca…

Cited by 0SourcePDFScholar
2024

DeiSAM: Segment Anything with Deictic Prompting

NeurIPS 2024poster

Large-scale, pre-trained neural networks have demonstrated strong capabilities in various tasks, including zero-shot image segmentation. To identify concrete objects in complex scenes, humans instinctively rely on deictic descriptions in natural language, i.e., referring to something depending on th…

2023

Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

NeurIPS 2023poster

The limited priors required by neural networks make them the dominating choice to encode and learn policies using reinforcement learning (RL). However, they are also black-boxes, making it hard to understand the agent's behavior, especially when working on the image level. Therefore, neuro-symbolic…

Cited by 32SourcePDFScholar
2021

Differentiable Inductive Logic Programming for Structured Examples

AAAI 2021technical

The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from examples, can even acquire reasonable solutions from noisy datasets. However, this fra…