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 27 3

2. formal_problem_solving_main formal_problem_solving_main Public

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

   Python 29 1

3. har_copa_main har_copa_main Public

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

   Python 4

4. dexploration_main dexploration_main Public

   Official implementation for the paper: [ICLR'26] Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration

   Python 2

5. 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 116 12

6. InternScience/ChartVLM InternScience/ChartVLM Public

   Official Repository of ChartX & ChartVLM: A Versatile Benchmark and Foundation Model for Complicated Chart Reasoning

   Python 253 20