Popular repositories Loading

1. peft peft Public

   Forked from huggingface/peft

   🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.

   Python

2. graph2tac graph2tac Public

   Forked from IBM/graph2tac

   Graph-based neural tactic prediction models for Coq.

   Jupyter Notebook

3. relations relations Public

   Forked from evandez/relations

   How do transformer LMs encode relations?

   Jupyter Notebook

4. lean4-example lean4-example Public

   Forked from yangky11/lean4-example

   Lean