Discover CoDA, a novel method improving cross-domain knowledge transfer in large language models via CoT-guided domain adaptation and feature distillation.
Explore how large language models handle formalization and faithfulness in logical reasoning, revealing key insights on proof validity and model behavior.