RickySkywalker

Pinned Repositories

61BL-published-repo
Language:Java00
DragVideo-Official
This is the official implementation for DragVideo
38 5 21
miniF2F-lean4
Language:Lean00
My_Mathlib4
Language:Lean00
rickyskywalker.github.io
Language:JavaScript00
SR-PredictAO-official
Language:Python70
Synthesis_Step-by-Step_Official
Language:Python22 2 20
TheoremLlama
This is the official repository for all the code of TheoremLlama
26 3 32
miniF2F-lean4
Language:Lean24 2 39

RickySkywalker's Repositories

RickySkywalker/DragVideo-Official
This is the official implementation for DragVideo
38 5 21
RickySkywalker/TheoremLlama
This is the official repository for all the code of TheoremLlama
26 3 32
RickySkywalker/Synthesis_Step-by-Step_Official
Language:Python22 2 20
RickySkywalker/SR-PredictAO-official
Language:Python70
RickySkywalker/61BL-published-repo
Language:Java00
RickySkywalker/miniF2F-lean4
Language:Lean00
RickySkywalker/My_Mathlib4
Language:Lean00
RickySkywalker/rickyskywalker.github.io
Language:JavaScript00