Hardcoded Version of CTranslate2
yangky11 opened this issue · comments
Kaiyu Yang commented
Hard-coding this may cause problems when CTranslate2 is upgraded.
Line 256 in f00ec56
LLMs as Copilots for Theorem Proving in Lean
yangky11 opened this issue · comments
Hard-coding this may cause problems when CTranslate2 is upgraded.
Line 256 in f00ec56