Hikaru Shindo

Identifiers

No identifiers captured yet.

Papers (7)

1. Kintsugi: Learning Policies by Repairing Executable Knowledge Bases cs.LG · 2026 · author #3
2. GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning cs.AI · 2026 · author #1
3. SocialGrid: A Benchmark for Planning and Social Reasoning in Embodied Multi-Agent Systems cs.AI · 2026 · author #1
4. LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking cs.LG · 2026 · author #5
5. STORM: Segment, Track, and Object Re-Localization from a Single Image cs.CV · 2025 · author #3
6. ActivationReasoning: Logical Reasoning in Latent Activation Spaces cs.LG · 2025 · author #7
7. SLR: Automated Synthesis for Scalable Logical Reasoning cs.AI · 2025 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Kristian Kersting 7 shared papers
• Lukas Helff 4 shared papers
• Patrick Schramowski 4 shared papers
• Quentin Delfosse 4 shared papers
• Felix Friedrich 3 shared papers
• Wolfgang Stammer 3 shared papers
• Antonia W\"ust 2 shared papers
• Ruben H\"arle 2 shared papers
• Teng Cao 2 shared papers
• Yu Deng 2 shared papers
• Ahmad Omar 1 shared papers
• Christopher Tauchmann 1 shared papers
• David Steinmann 1 shared papers
• Hanzhao Lin 1 shared papers
• Henri R\"o{\ss}ler 1 shared papers
• Jannis Bl\"uml 1 shared papers
• Jiahong Xue 1 shared papers
• Lanxi Wen 1 shared papers
• Manuel Brack 1 shared papers
• Rupert Mitchell 1 shared papers