Bohan Lyu

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Diversity-aware Training for Test-time Scaling

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks

Adapting While Learning: Grounding LLMs for Scientific Problems with Tool Usage Adaptation

Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks