today local_bar

Farzan Farnia

Assistant Professor, The Chinese University of Hong Kong

4 papers at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 2

Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

#2415 · Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

When Kernels Multiply, Clusters Unify: Fusing Embeddings with the Kronecker Product

#2604 · Youqi WU, Jingwei Zhang, Farzan Farnia

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

#205 · Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

Poster Session 6

Friday, December 5, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

PermLLM: Learnable Channel Permutation for N:M Sparse Large Language Models

#3301 · Lancheng Zou, Shuo Yin, Zehua Pei, Tsung-Yi Ho, Farzan Farnia, Bei Yu