← authors · overview

• TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
  2024 · 11 citations
• Pointing To A Llama And Call It A Camel: On The Sycophancy Of Multimodal Large Language Models
  2025 · 1 citations
• Nemotron 3 Super: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic Reasoning
  2026
• Nemotron 3 Ultra: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic Reasoning
  2026
• Nemotron 3 Super: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic Reasoning
  2026
• Look Less, Reason More: Rollout-Guided Adaptive Pixel-Space Reasoning
  2025
• ExeSQL: Self-Taught Text-to-SQL Models with Execution-Driven Bootstrapping for SQL Dialects
  2025
• Mitigating the Alignment Tax of RLHF
  2023
• PerceptionGPT: Effectively Fusing Visual Perception into LLM
  2023
• CoCA: Regaining Safety-awareness of Multimodal Large Language Models with Constitutional Calibration
  2024
• G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model
  2023