Pinned Repositories
subgoal-theorem-prover
Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
DataIntegrationHomeWork
2022数据集成作业
LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
DABM-Document-Pet
The lecture of Demand And Business Model‘s term project for pet lovers.
Cross-Task-Linearity
[ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"
graph2tac
Graph-based neural tactic prediction models for Coq.
lean4-example
peft
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
relations
How do transformer LMs encode relations?
Cross-Task-Linearity
[ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"
zijunchen68's Repositories
zijunchen68/Cross-Task-Linearity
[ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"
zijunchen68/graph2tac
Graph-based neural tactic prediction models for Coq.
zijunchen68/lean4-example
zijunchen68/peft
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
zijunchen68/relations
How do transformer LMs encode relations?