Zakhar

zakhar-kogan

·

AI & ML interests

None yet

Recent Activity

updated a Space about 1 month ago

zakhar-kogan/deepswe-rank-stability

published a Space 2 months ago

zakhar-kogan/deepswe-rank-stability

upvoted a paper 6 months ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

None yet

upvoted 2 papers 6 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29

upvoted a paper about 2 years ago

Knowledge Distillation of Large Language Models

Paper • 2306.08543 • Published Jun 14, 2023 • 23