Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Hideaki Takai | Lattice

Hideaki Takai

GAIO Technology Co. Ltd

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)World Models & Planning (1)

Frequent co-authors

Daisuke Ishii (1)Takashi Tomita (1)Toshiaki Aoki (1)

Papers (1)

Jun 23, 2026

Japan Advanced Institute of Advanced2w ago·also GAIO Technology Co. Ltd

Bit-Precise Conformance Testing of Simulink Model Checkers

SmtMC outperforms SLDV in bit-precise conformance testing, revealing critical reliability gaps in widely used model checkers.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki +1

Code Generation & Program Synthesis World Models & Planning