36 repos
Systems and techniques for enhancing large language models' capabilities in mathematical reasoning, code generation, and logical problem-solving. This cluster covers instruction-tuning datasets (like MathCodeInstruct), retrieval-augmented approaches, and specialized model architectures designed to improve transformer-based text generation for technical domains. Projects here address the challenge of making LLMs more reliable and accurate when handling symbolic reasoning, mathematical proofs, and code synthesis tasks.