ExperienceGen 1.0: A Text Generation Challenge Which Requires Deduction and Induction Ability.

Hu Zhang Pengyuan Liu Dong Yu Sanle Zhang

Published in: NLPCC (2) (2021)

Keyphrases

text generation
natural language generation
theorem prover
natural language
databases
proof search
theorem proving
inference rules
rough sets
inductive learning
intelligent agents
changing environment
rule induction
program synthesis
genetic algorithm
real time
sequence prediction