The materials of NAACL'24 paper: Language Models can be Deductive Solvers.
-
jzfeng/LoGiPT-data
Viewer • Updated • 57.4k • 6 • 3 -
jzfeng/LoGiPT-vicuna-13b-v1.5-16k-proofwriter
Question Answering • 13B • Updated • 7 • 2 -
jzfeng/LoGiPT-vicuna-13b-v1.5-16k-prontoqa
Question Answering • Updated • 4 • 2 -
jzfeng/LoGiPT-CodeLlama-13b-hf-proofwriter
Question Answering • Updated • 6 • 1