ylee-sling/aero-vpa-benchmark
Viewer • Updated • 2.45k • 401
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
