Focusing on Liquid Refinement Typing.

Dimitrios J. Economou Neel Krishnaswami Jana Dunfield

Published in: CoRR (2022)

Keyphrases

learning environment
lower bound
real time
artificial intelligence
decision trees
query refinement
step wise