Big AI Dream | Jie Fu
  • Home
  • Publications
  • Awards etc
  • Group & Recruit
  • Fun Facts
  • Blog
  • Contact
  • Some Publications
    • Sparse Weight Decomposition for Efficient Circuit Extraction
    • Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
    • A Definition of AGI
    • Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Tracking
    • Unlocking Emergent Modularity in Large Language Models
    • Stacking Your Transformers: A Closer Look at Model Growth for Efficient LLM Pre-Training
    • Tracking single cell evolution via clock-like chromatin accessibility
    • Think Before You Act: Decision Transformers with Working Memory
    • Massive Editing for Large Language Models via Meta Learning
    • Unifying Likelihood-free Inference with Black-box Sequence Design and Beyond
    • Beyond Fully-Connected Layers with Quaternions: Parameterization of Hypercomplex Multiplications with 1/n Parameters
  • Projects
    • Autoformalization and Formally Verifiable AI
  • Pages
    • Mentoring Junior Students
    • 微信

微信

Nov 8, 2020
Please indicate that you find my account through my homepage.

Please indicate that you find my account through my homepage.

Last updated on Nov 8, 2020
← Mentoring Junior Students Nov 8, 2020

Last Update: 2026 Aug.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.