server: add option to output probabilities for completion#1
Merged
WangHaoranRobin merged 1 commit intomasterfrom Jun 21, 2023
Merged
server: add option to output probabilities for completion#1WangHaoranRobin merged 1 commit intomasterfrom
WangHaoranRobin merged 1 commit intomasterfrom