Farzan Farnia

5 papers The Chinese University of Hong Kong

• APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
• PermLLM: Learnable Channel Permutation for N:M Sparse Large Language Models
• SPARKE: Scalable Prompt-Aware Diversity and Novelty Guidance in Diffusion Models via RKE Score
• When Kernels Multiply, Clusters Unify: Fusing Embeddings with the Kronecker Product
• miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward