Wei
weizhang2000
ยท
AI & ML interests
Code generation, program synthesis, code LLMs, automated debugging
Recent Activity
upvoted a paper about 7 hours ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics liked a dataset 1 day ago
Shiveswarran/llm_instruction_code_V6.1 liked a model 1 day ago
tlkh/program-synthesis-gpt-neo-1.3bOrganizations
None yet