Pinned Loading

1. rethinking_autoformalization rethinking_autoformalization Public

   [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach

   Python 25 2

2. Lucky-Lance/Expert_Sparsity Lucky-Lance/Expert_Sparsity Public

   [ACL 2024] Not All Experts are Equal: Efficient Expert Pruning and Skipping for Mixture-of-Experts Large Language Models

   Python 113 12

3. formal_problem_solving_main formal_problem_solving_main Public

   Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"

   Python 27 1

4. har_copa_main har_copa_main Public

   [NeurIPS'25] Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization

   Python 4