
Enhancing LoopInvariant Synthesis via Reinforcement Learning
Loopinvariant synthesis is the basis of every program verification proc...
read it

Toward NeuralNetworkGuided Program Synthesis and Verification
We propose a novel framework of program and invariant synthesis called n...
read it

Signature restriction for polymorphic algebraic effects
It has been well known that naively combining polymorphic effects and po...
read it

Gradual Typing for Extensibility by Rows
This work studies gradual typing for row types and row polymorphism. Key...
read it

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
We present a method to extract a weighted finite automaton (WFA) from a ...
read it

Handling polymorphic algebraic effects
Algebraic effects and handlers are a powerful abstraction mechanism to r...
read it

Dynamic Type Inference for Gradual HindleyMilner Typing
Garcia and Cimini study a type inference problem for the ITGL, an implic...
read it

Reasoning about Polymorphic Manifest Contracts
Manifest contract calculi, which integrate castbased dynamic contract c...
read it

Automated proof synthesis for propositional logic with deep neural networks
This work explores the application of deep learning, a machine learning ...
read it

Profileguided memory optimization for deep neural networks
Recent years have seen deep neural networks (DNNs) becoming wider and de...
read it

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
Inspired by the recent evolution of deep neural networks (DNNs) in machi...
read it

Multistage Neural Networks with Singlesided Classifiers for False Positive Reduction and its Evaluation using Lung Xray CT Images
Lung nodule classification is a class imbalanced problem because nodules...
read it
Taro Sekiyama
is this you? claim profile