Shizhe Diao

A new method enhances code language models through effective test cases and preference learning.

A framework to improve theorem proving using Lean4 and language models.

A method to shrink language models without sacrificing effectiveness through pruning and distillation.

This research presents a new method for LLMs to solve graph problems using code.

Researchers enhance language models for complex mathematical reasoning.