Lean-CoT-plus / generation_config.json

Commit History

first commit
2b16d32

Noogal commited on