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