oleg shevlyagin's picture

2

oleg shevlyagin

olegshevlyagin

·

AI & ML interests

None yet

Recent Activity

new activity 28 days ago

FrenzyMath/Herald_translator:LaTeX-> Lean quality

new activity 28 days ago

FrenzyMath/Herald_translator:LaTeX-> Lean quality

new activity 3 months ago

huggingface/InferenceSupport:deepseek-ai/DeepSeek-Prover-V2-7B

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet