Picture for Naoki Kobayashi

Naoki Kobayashi

A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing

Add code
Oct 15, 2022
Figure 1 for A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing
Figure 2 for A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing
Figure 3 for A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing
Figure 4 for A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing
Viaarxiv icon

Toward Neural-Network-Guided Program Synthesis and Verification

Add code
Mar 17, 2021
Figure 1 for Toward Neural-Network-Guided Program Synthesis and Verification
Figure 2 for Toward Neural-Network-Guided Program Synthesis and Verification
Figure 3 for Toward Neural-Network-Guided Program Synthesis and Verification
Figure 4 for Toward Neural-Network-Guided Program Synthesis and Verification
Viaarxiv icon

A Cyclic Proof System for HFLN

Add code
Oct 28, 2020
Viaarxiv icon