Yeonseok Lee
ylee-sling
·
AI & ML interests
I am interested in neuro-symbolic AI and formal methods in theoretical computer science.
Recent Activity
published a dataset 7 days ago
ylee-sling/aero-vpa-benchmark updated a dataset 7 days ago
ylee-sling/aero-vpa-benchmark published a model 7 days ago
ylee-sling/aero-vpaOrganizations
Add link to Hugging Face paper page
1
#1 opened 26 days ago
by 
nielsr