NK
NeuralKartMocker
AI & ML interests
Gen AI, GAN, LLMs, NLP, Gen Music
Recent Activity
liked
a model
about 10 hours ago
facebook/pe-av-large
published
a Space
20 days ago
NeuralKartMocker/Training-with-LLMs
upvoted
a
paper
8 months ago
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal
Problem-Solving
Organizations
