The following pages link to Taro Sekiyama (Q2145330):
Displayed 6 items.
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- Manifest Contracts for Datatypes (Q2819804) (← links)
- Shifting the Blame (Q3460908) (← links)
- Stateful manifest contracts (Q5370886) (← links)
- Handling polymorphic algebraic effects (Q6070789) (← links)
- Automated proof synthesis for the minimal propositional logic with deep neural networks (Q6166153) (← links)