Shange Tang's picture

2

Shange Tang

shangetang

·

shangetang

AI & ML interests

None yet

Recent Activity

updated a model 18 days ago

Goedel-LM/Goedel-Formalizer-V2-8B

updated a model 18 days ago

Goedel-LM/Goedel-Formalizer-V2-32B

published a model 18 days ago

Goedel-LM/Goedel-Formalizer-V2-8B

View all activity

Organizations

Papers 4

arxiv:2502.07640

arxiv:2502.06453

arxiv:2311.15961

arxiv:2303.01566

models 0

None public yet

datasets 0

None public yet